Skip to content
AIDb
c

comodule

Dual notion of a module over an algebra

EntityQ5155179

Overview

All data

7 statements · 0% with external sources · numbers in brackets are citations

Defining formula
  • \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}

On other databases

3 identifiers linking comodule across the web's reference databases