Showing math.CTShow all
2 papers · 1 filter
math.CT2023
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 form a pair of adjoint functors between -coalgebras and -algebras. We us…
math.CT2023
Lax Liftings and Lax Distributive Laws
Ezra Schoen
Liftings of endofunctors on sets to endofunctors on relations are commonly used to capture bisimulation of coalgebras. Lax versions have been used in those cases where strict lifti…