A Final Coalgebra Theorem

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.

[1]  Peter Aczel,et al.  Non-well-founded sets , 1988, CSLI lecture notes series.

[2]  Robin Milner,et al.  Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..