On coalgebra based on classes (Q1434346): Difference between revisions

Endofunctors of the category \({\mathcal C}lass\) (objects are all sets and all classes, morphisms are all mappings between them) are studied. It is proved that for every endofunctor \(F\) of \({\mathcal C}lass\), for every class \(X\) and for every point \(x\in FX\) there exist a set \(M\) and an injective mapping \(f:M\to X\) with \(x\in\text{Im}(Ff)\). Therefore for every endofunctor \(F\) of \({\mathcal C}lass\) and for every class \(X\) there exist a free \(F\)-algebra and a cofree \(F\)-coalgebra over \(X\) and \(F\)-algebras form a free completely iterative monad. A terminal coalgebra of the power-set functor \(P\) (for a class \(X\), \(PX\) is the class of all subsets of \(X\), and for a mapping \(f:X\to Y\), \(Pf(M)=f(M)\) for all sets \(M\subseteq X\)) is described.