Je dokázáno, že kategorie Class všech tříd má vlastnosti vhodné pro algebru a koalgebru: například každý endofunktor je set-based a má iniciální a finální koalgebru. Je dán popis finální koalgebry potenčního funktoru (cs)
The category Class of classes is proved to have a number of properties suitable for algebra and coalgebra: for example, every endofunctor is set-based, has an initial algebra and final coalgebra. A description of a final coalgebra of the power-set functor is given
The category Class of classes is proved to have a number of properties suitable for algebra and coalgebra: for example, every endofunctor is set-based, has an initial algebra and final coalgebra. A description of a final coalgebra of the power-set functor is given (en)