A general final coalgebra theorem
Jiřı́ Adámek, Stefan Milius, Jiřı́ Velebil · Mathematical Structures in Computer Science · 2005
By the Final Coalgebra Theorem of Aczel and Mendler, every endofunctor of the category of sets has a final coalgebra, which, however, may be a proper class. We generalise this to all ‘well-behaved’ categories .