Talk:Chain duality III (Ex)
|Line 16:||Line 16:|
Revision as of 11:34, 1 June 2012
We check this for objects .
Let be an element of .
We have to check the equality of
This follows from the commutative diagram
as the first square commutes by naturality of and the second one by definition of a functor of categories with chain duality.