Algebraically compact functors

doi:10.1016/0022-4049(92)90169-G

Journal of Pure and Applied Algebra

Volume 82, Issue 3, 26 October 1992, Pages 211-231

https://doi.org/10.1016/0022-4049(92)90169-G Get rights and content

Under an Elsevier user license

open archive

Abstract

In a previous paper, we investigated the relation between the initial algebra and terminal coalgebra for an endofunctor on the category of sets. In this one we study conditions on a functor to be algebraically compact, which means that the canonical comparison morphism between those objects is an isomorphism.

Cited by (0)

^∗: In the preparation of this paper, I have been assisted by grants from the NSERC of Canada and the FCAR du Québec.