Nov 28 – 29, 2022
Le Bois-Marie
Europe/Paris timezone

Categorification of Rule Algebras

Nov 28, 2022, 10:00 AM
Centre de conférences Marilyn et James Simons (Le Bois-Marie)

Centre de conférences Marilyn et James Simons

Le Bois-Marie

35, route de Chartres 91440 Bures-sur-Yvette


Prof. Nicolas BEHR (CNRS, Université de Paris, IRIF)


Reporting on joint work in progress with P.-A. Mellies and N. Zeilberger, I will present a novel approach to formalize operations in compositional rewriting systems wherein the number of ways to apply a rewrite is of interest. The approach is based upon defining a suitable double category to capture individual rewriting steps as its 2-cells, requiring in addition certain fibrational properties to hold for the functors of vertical source and target as well as of horizontal composition of cells. Counting numbers of realizations of individual rewriting steps or sequences rewrites is then implemented via a presheaf calculus over 2-cells. I will demonstrate how the notion of rule algebra representations is captured in this calculus and how the rule algebras themselves are categorified via a categorical construction involving coends.

Presentation materials

There are no materials yet.