Final Coalgebra

Some articles on final coalgebra, coalgebras, coalgebra:

Initial Algebra - Final Coalgebra
... Dually, a final coalgebra is a terminal object in the category of F-coalgebras ... For example, using the same functor 1+(-) as before, a coalgebra is a set X together with a truth-valued test function p X → 2 and a partial function f X ... consisting of the natural numbers extended with a new element ω is the carrier of the final coalgebra in the category, where p is the test for zero p(0) = 1, p(n+1) = p(ω) = 0 and f is the ...

Famous quotes containing the word final:

    It is the final proof of God’s omnipotence that he need not exist in order to save us.
    Peter De Vries (b. 1910)