A coalgebra is a comodule over itself.
comonoid corepresentation contramodule cocategory bimodule subbimodule cogroup coresolution multicommutator comass