Chain duality V (Ex)

From Manifold Atlas
Revision as of 17:08, 31 May 2012 by Martin Olbermann (Talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Let \Aa be an additive category with chain duality (T,e). Show that under the isomorphism

\displaystyle   T_{M,TM} \colon M \otimes_{\Aa} TM \rightarrow TM \otimes_{\Aa} M

we have

\displaystyle   T_{M,TM} (\textup{id}) = e_{M}.

Observe that e can be defined this way if we have already defined T and T_{M,N}.

[edit] References

Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox