2 papers
math.CT2025
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…
cs.LO2024
A Categorical Approach to Coalgebraic Fixpoint Logic
Ezra Schoen, Clemens Kupke, Jurriaan Rot +1
We define a framework for incorporating alternation-free fixpoint logics into the dual-adjunction setup for coalgebraic modal logics. We achieve this by using order-enriched catego…