Talk:Chain duality III (Ex)

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