Constructing Initial Algebras Using Inflationary Iteration

Andrew M. Pitts, S. C. Steenkamp

An old theorem of Adámek constructs initial algebras for sufficiently cocontinuous endofunctors via transfinite iteration over ordinals in classical set theory. We prove a new vers…