Talk:Chain duality III (Ex)
(Difference between revisions)
Line 1: | Line 1: | ||
<wikitex>; | <wikitex>; | ||
− | We check this for objects in $\mathbb A$. | + | We check this for objects $M\in\mathbb A$. |
+ | |||
+ | Let $\varphi:TM\to M$ be an element of $M\otimes_{\mathbb A}M$. | ||
+ | %Then $T_{M,M}\varphi=e_M\circ T\varphi: TM\to T^2M\to M$. | ||
+ | |||
+ | We have to check the equality of | ||
+ | $T'_{F(M),F(M)}(F (\varphi) \circ G(M))=e'_{F(M)}\circ T'G(M) \circ T'F(\varphi)$ | ||
+ | and $F(T_{M,M}\varphi)\circ G(M)=F(e_M)\circ FT\varphi\circ G(M)$. | ||
− | |||
− | |||
</wikitex> | </wikitex> |
Revision as of 12:21, 1 June 2012
We check this for objects .
Let be an element of . %Then .
We have to check the equality of and .