Podle věty o finální koalgebře od Aczela a Mendlera, má každý množinový endofunktor finální koalgebru, která ovšem může být vlastní třídou. Tento výsledek je v našem článku zobecněn na velkou třídu ``rozumných'' kategoií. (cs)
By the Final Coalgebra Theorem of Aczel and Mendler, every endofunctor of the category of sets has a final coalgebra that may be a proper class. We generalize this to ``well-behaved'' categories.
By the Final Coalgebra Theorem of Aczel and Mendler, every endofunctor of the category of sets has a final coalgebra that may be a proper class. We generalize this to ``well-behaved'' categories. (en)