Beyond Initial Algebras and Final Coalgebras

03/03/2023

∙

by   Ezra Schoen, et al.

∙

0

∙

share

We provide a construction of the fixed points of functors which may not be inital algebras or final coalgebras. For an endofunctor F, this fixed point construction may be expressed as a pair of adjoint functors between F-coalgebras and F-algebras. We prove a version of the limit colimit coincidence theorem for these generalized fixed points.