Chain duality V (Ex)

From Manifold Atlas
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