We prove that every set-based functor on the category of classes has a final coalgebra. This result strengthens the final coalgebra theorem announced in the book “Non-well-founded Sets”, by the first author.
CITATION STYLE
Aczel, P., & Mendler, N. (1989). A final coalgebra theorem. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 389 LNCS, pp. 357–365). Springer Verlag. https://doi.org/10.1007/BFb0018361
Mendeley helps you to discover research relevant for your work.