Coalgebra

Last updated Oct 14, 2024

Coalgebra is used to describe operational semantics. Applications of coalgebra include stream transducers, cellular automata, mathematical analysis or data containers.

• Comonad
• Comonads on a cartesian are monoidal
• Parameterised comonads
• machines and streams
• Coinductive cellular automata
• coalgebra of the real interval
• coinduction
• coalgebraic physics
• graded coalgebra
• graded comonoid

References

• On the Origins of Bisimulation and Coinduction (Sangiorgi, 2009)