Chain duality V (Ex)
From Manifold Atlas
Revision as of 18:08, 31 May 2012 by Martin Olbermann (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 .