|
|
1
2
|
|
Editor: Bill Page
Time: 2013/10/10 05:01:07 GMT+0
|
|
Note:
|
changed:
-\begin{CD}\der_\R(\F,\F)@>{j}>>M^*\\\der_\R(\F,\F)@<{d^*}<<M^*.
\begin{CD}\der_\R(\F,\F)@>{j}>>M^*\\\der_\R(\F,\F)@<{d^*}@<<M^*.
changed:
-M@<{e_\tau}<<\F\end{CD}\hspace{1.5cm}
-\begin{CD}\F@<{P}<<M\\@V{\id}VV||\\
M@<{e_\tau}@<<\F\end{CD}\hspace{1.5cm}
\begin{CD}\F@<{P}@<<M\\@V{\id}VV||\\
changed:
-M^\wedge@<{e_\tau}<<M^\wedge\end{CD}\label{split}\end{gather}
M^\wedge@<{e_\tau}@<<M^\wedge\end{CD}\label{split}\end{gather}
changed:
-\begin{gather} \half[[p\otimes_\R p]\otimes_\R p]=[\omega\otimes_\R p]
\begin{gather} \half@[[p\otimes_\R p]\otimes_\R p]=[\omega\otimes_\R p]
changed:
-A^*\otimes_\F A@<{\text{left co-evaluation}}<<\F\\
-A\otimes_\F A^*@<{\text{right co-evaluation}}<<\F
A^*\otimes_\F A@<{\text{left co-evaluation}}@<<\F\\
A\otimes_\F A^*@<{\text{right co-evaluation}}@<<\F
changed:
-\coev^l)\circ\coev^l=\coev^r\circ(\id\otimes f^r)}<<\F\\
-A@<{f^l,f^r}<<A^*\end{CD}\end{gather} If this co-binary form
\coev^l)\circ\coev^l=\coev^r\circ(\id\otimes f^r)}@<<\F\\
A@<{f^l,f^r}@<<A^*\end{CD}\end{gather} If this co-binary form
