Talk:Chain duality III (Ex)
From Manifold Atlas
Revision as of 12:13, 1 June 2012 by Martin Olbermann (Talk | contribs)
We check this for objects in $\mathbb A$.
Let $\phi:TM\to M$ be an element of $M\otimes_{\mathbb A}M$. Then $T_{M,M}\phi=(e_M\circ T\phi: TM\to T^2M\to M$.