(Q6196)

Statements

0 references

0 references

0 references

{\begin{aligned}\Delta \circ \nabla &=\nabla \otimes \nabla \circ (\operatorname {id} \otimes \sigma \otimes \operatorname {id} )\circ \Delta \otimes \Delta \\\epsilon \otimes \epsilon &=\epsilon \circ \nabla \\\eta \otimes \eta &=\Delta \circ \eta \\\epsilon \circ \eta &=\operatorname {id} \end{aligned}}

0 references