Laboratoire d'informatique de l'École polytechnique

Jérémy Dubut -- Categorical approaches to bisimilarity

Speaker: Jérémy Dubut
Location: Salle Philippe Flajolet, LIX
Date: Jeu. 16 mai. 2019, 14h00-15h00

Pour le prochain séminaire de l'équipe Cosynus, nous aurons le plaisir d'accueillir Jérémy Dubut qui nous parlera d'approches catégoriques pour la bisimilarité.

Résumé: There are different categorical approaches to variations of transition systems and their bisimulations. One is coalgebras, another one is open maps. In this talk, I will describe these two approaches, illustrated by the case of labelled transition systems (almost no knowledge in category theory is needed for this part). I will then describe how it is possible to translate one into the other in some cases. From open maps to coalgebras, this was done by Lasota, using multi-sorted transition systems. From coalgebras to open maps, this was done in my joint work with Thorsten Wißmann, Shin-ya Katsumata and Ichiro Hasuo, where we derived path-categories and trace semantics for free for different flavors of categories of coalgebras with non-deterministic branching. I will illustrate those constructions on various concrete examples (tree automata, regular nominal automata, ...).