Coalgebra: abstract tools for reasoning on state-based systems


Coalgebra is a branch of category theory that makes it possible to model and reason about state-based systems including concurrent and/or probabilistic programming languages, streams, automata.
In this course we will introduce several concrete and standard systems from the literature, as well as reasoning techniques on them based on equivalences and operational semantics. We will show how different state-based systems can be modelled abstractly and in a unifying way via coalgebras, and we will introduce the key concepts and theorems from order theory and category theory that make it possible to reason efficiently about such systems.

We will cover the following topics:


Familiarity with logic and operational semantics.
Basic intuitions about universal algebra and category theory would be a plus.


Valeria Vignudelli and Damien Pous