Talk:Chain duality III (Ex)
From Manifold Atlas
Revision as of 11:32, 1 June 2012 by Martin Olbermann (Talk | contribs)
We check this for objects .
Let be an element of .
We have to check the equality of
and
This follows from the commutative diagram