# Chain duality V (Ex)

From Manifold Atlas

Let be an additive category with chain duality . Show that under the isomorphism

we have

Observe that can be defined this way if we have already defined and .