Current Data About
comodule
| (P279) |
(Q748349)
|
||
| (P461) |
(Q18848)
|
||
| (P1482) |
https://mathoverflow.net/tags/comodules
|
||
| (P2534) |
\begin{aligned}&\rho\colon M \to M \otimes C\\&(\operatorname{id}\otimes\Delta-\rho\otimes\operatorname{id})\circ\rho=0\\&(\operatorname{id}\circ\epsilon)\circ\rho=\operatorname{id}\end{aligned}
|
||
| (P2579) |
(Q217413)
|
||
| (P6104) |
(Q8487137)
|