Chain duality V (Ex)
From Manifold Atlas
Revision as of 12:28, 22 May 2012 by Tibor Macko (Talk | contribs)
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 .