On coalgebra based on classes

J. Adamek, S. Milius, J. Velebil

Every endofunctor of the category of classes is proved to be set-based in the sense of Aczel and Mendler, therefore, it has a final coalgebra. Other basic properties of these endof…