Beyond Initial Algebras and Final Coalgebras

Ezra Schoen, Jade Master, Clemens Kupke

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…