Final coalgebras and a solution theorem for arbitrary endofunctors (Q2842550)

From MaRDI portal





scientific article; zbMATH DE number 6198599
Language Label Description Also known as
English
Final coalgebras and a solution theorem for arbitrary endofunctors
scientific article; zbMATH DE number 6198599

    Statements

    0 references
    0 references
    0 references
    15 August 2013
    0 references
    initial algebra
    0 references
    final coalgebra
    0 references
    completely iterative monad
    0 references
    Final coalgebras and a solution theorem for arbitrary endofunctors (English)
    0 references

    Identifiers