Terminal coalgebras in well-founded set theory
Theoretical Computer Science
On the greatest fixed point of a set functor
Theoretical Computer Science
Automata and Algebras in Categories
Automata and Algebras in Categories
On the final sequence of a finitary set functor
Theoretical Computer Science
Terminal coalgebras and free iterative theories
Information and Computation
Coalgebraic Modal Logic Beyond Sets
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Realization of Coinductive Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Final sequences and final coalgebras for measurable spaces
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Coinductive Predicates and Final Sequences in a Fibration
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
Continuous endofunctors F of locally finitely presentable categories carry a natural metric on their final coalgebra. Whenever F(0) has an element, this metric is proved to be a Cauchy completion of the initial algebra of F. This is illustrated on the poset of real numbers represented as a final coalgebra of an endofunctor of Pos by Pavlovic´ and Pratt. Under additional assumptions on the locally finitely presentable category, all finitary endofunctors are proved to have a final coalgebra constructed in ω + ω steps of the natural iteration construction.