Terminal coalgebras in well-founded set theory

https://doi.org/10.1016/0304-3975(93)90076-6Get rights and content
Under an Elsevier user license
open archive

Abstract

This paper shows that, in order to obtain the theorem of Aczel and Mendler on the existence of terminal coalgebras for an endofunctor on the category of sets, it is entirely unnecessary to delve into such exotica as non-well-founded set theory. In addition, we discuss the canonical map from the initial algebra for an endofunctor on sets to the terminal coalgebra and show that in many cases it embeds the former as a dense subset of the latter in a certain natural topology. By way of example, we calculate the terminal coalgebra for various simple endofunctors.

Cited by (0)

In the preparation of this paper, I have been assisted by grants from the NSERC of Canada and the FCAR du Québec.