Relative fixed points of functors

Ezra Schoen, Jade Master, Clemens Kupke

We show how the relatively initial or relatively terminal fixed points for a well-behaved functor $F$ form a pair of adjoint functors between $F$-coalgebras and $F$-algebras. We us…