On coalgebra based on classes
Abstract
Every endofunctor of the category of classes is proved to be set-based in the sense of Aczel and Mendler, therefore, it has a final coalgebra. Other basic properties of these endofunctors are proved, e.g. the existence of a free completely iterative theory.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2003
- DOI:
- 10.48550/arXiv.cs/0306118
- arXiv:
- arXiv:cs/0306118
- Bibcode:
- 2003cs........6118A
- Keywords:
-
- Logic in Computer Science;
- F.4.1