# 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$.