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 ...") |
Revision as of 15:43, 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 .