Chain duality V (Ex)
(Difference between revisions)
Tibor Macko (Talk | contribs)
(Created page with "<wikitex>; Let $\Aa$ be an additive category with chain duality $(T,e)$. Show that under the isomorphism $$ T_{M,TM} \colon M \otimes_{\Aa} TM \rightarrow TM \otimes_{\Aa} M ...")
Newer edit →
(Created page with "<wikitex>; Let $\Aa$ be an additive category with chain duality $(T,e)$. Show that under the isomorphism $$ T_{M,TM} \colon M \otimes_{\Aa} TM \rightarrow TM \otimes_{\Aa} M ...")
Newer edit →
Revision as of 12:28, 22 May 2012
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 .