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
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references