On the greatest fixed point of a set functor (Q672316)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the greatest fixed point of a set functor
scientific article

    Statements

    On the greatest fixed point of a set functor (English)
    0 references
    0 references
    0 references
    28 February 1997
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    greatest fixed point of set functor
    0 references
    terminal coalgebra
    0 references
    metric completion
    0 references
    CPO-completion
    0 references
    finite iterations
    0 references
    signature
    0 references
    0 references