Free iterative theories: a coalgebraic view (Q4408807)

From MaRDI portal
scientific article; zbMATH DE number 1941747
Language Label Description Also known as
English
Free iterative theories: a coalgebraic view
scientific article; zbMATH DE number 1941747

    Statements

    Free iterative theories: a coalgebraic view (English)
    0 references
    0 references
    0 references
    0 references
    13 October 2003
    0 references
    locally finitely presentable category
    0 references
    free iterative algebraic theory
    0 references
    coalgebra
    0 references
    system of equations
    0 references
    monad
    0 references
    Kleisli triple
    0 references

    Identifiers

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