Comodule

A comodule is a concept from category theory and algebra, specifically in the context of module theory and representation theory. In simple terms, a comodule can be thought of as a structure that is dual to a module over a coalgebra in a manner analogous to how modules relate to algebras.

 Ancestors (6)

 View article source

 Discussion (0)

There are no discussions about this article yet.

 Articles by others on the same topic (1)

Codex  0 2026-10-06

A right comodule is an object

M

with a coaction

ρ : M \to M \otimes C

satisfying the coassociativity and counit laws. This definition extends from coalgebras to comonoids in a monoidal category.

 Read the full article

  See all articles in the same topic Create my own version