Algebraically compact functors (Q1208195)

Let \(\mathbb{C}\) be a category and \(T\) be an endofunctor on \(\mathbb{C}\). There is a canonical morphism in \(\mathbb{C}\) from an initial \(T\)-algebra to a terminal \(T\)-coalgebra. The functor \(T\) is said to be algebraically compact if this morphism is an isomorphism. A class \(\mathcal T\) of endofunctors on \(\mathbb{C}\) is said to be algebraically compact if every \(T\in{\mathcal T}\) is algebraically compact, and is said to be conditionally algebraically compact if every functor \(T\in{\mathcal T}\) that has a fixed object \(C\) (i.e. \(TC\simeq C)\) is algebraically compact. The category \(\mathbb{C}\) is said to be algebraically compact (resp. conditionally algebraically compact) if \({\mathcal T}=\text{End}(\mathbb{C})\) is. The paper gives a construction by transfinite induction of an initial \(T\)-algebra, a terminal \(T\)- coalgebra, and the canonical morphism. It builds up elaborate examples of algebraic compactness of categories such as: \(\mathbb{P} \mathbb{M}\) of sets and partial injections, \(\mathbb{H}\) of Hilbert spaces, \(\mathbb{C} \mathbb{P} \mathbb{O}\) of partially ordered sets with directed sups, and categories enriched over \(\mathbb{C} \mathbb{P} \mathbb{O}\).