3 papers
cs.FL2025
Thin Coalgebraic Behaviours Are Inductive
Anton Chernev, Corina Cîrstea, Helle Hvid Hansen +1
Coalgebras for analytic functors uniformly model graph-like systems where the successors of a state may admit certain symmetries. Examples of successor structure include ordered tu…
cs.LO2024
Proving Behavioural Apartness
Ruben Turkenburg, Harsh Beohar, Clemens Kupke +1
Bisimilarity is a central notion for coalgebras. In recent work, Geuvers and Jacobs suggest to focus on apartness, which they define by dualising coalgebraic bisimulations. This yi…
math.CT2023
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…