Fundamental constructions for coalgebras, corings, and comodules. (Q2426118)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Fundamental constructions for coalgebras, corings, and comodules. |
scientific article |
Statements
Fundamental constructions for coalgebras, corings, and comodules. (English)
0 references
21 April 2008
0 references
If \(\mathcal C\) is a category and \(F\colon\mathcal C\to\mathcal C\) is an endofunctor, then an \(F\)-coalgebra is a pair \((C,\alpha)\), where \(C\) is an object of \(\mathcal C\) and \(\alpha\colon C\to FC\) is a morphism. An \(F\)-coalgebra morphism \(f\colon(C,\alpha)\to(C',\alpha')\) is a \(\mathcal C\)-morphism \(f\colon C\to C'\) such that \((Ff)\alpha=\alpha'f\). We thus have a category \(\text{Coalg\,}F\) of \(F\)-coalgebras. The author explains how the categories of \(R\)-coalgebras (\(R\) a commutative ring), of \(A\)-corings (\(A\) an \(R\)-algebra which is not necessarily commutative), and their respective categories of comodules can be defined as full subcategories of \(\text{Coalg\,}F\) for suitable functors \(F\). The main theme of the paper is to explain how properties of categories of coalgebras, corings and comodules can be obtained directly from well known results of categorical algebra by simple dualization. New results concerning the existence of limits and of factorizations of morphisms are obtained.
0 references
endofunctors
0 references
categories of coalgebras
0 references
categories of comodules
0 references
categories of corings
0 references
limits
0 references
factorizations of morphisms
0 references
covarieties
0 references