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 .