Fields of interest
-
Algebraic rewriting: higher-dimensional and linear rewriting.
-
Higher algebra: (strict) ω-categories, polygraphs and computads, operads, properads, PROPS.
-
Categorification and formalisation of rewriting: algebraic coherence, Kleene algebras, single-set ω-categories.
-
Topological data analysis: persistent homology, topological process analysis in bioscience.
-
Further
Recent preprints and publications
-
Single-set cubical categories and their formalisation with a proof assistant, (with Tanguy Massacrier and Georg Struth), submitted, 2024, arXiv:2401.10553.
arXiv
-
Higher catoids, higher quantales and their correspondences, (with Cameron Calk, Damien Pous, and Georg Struth), submitted, 2023, arXiv:2307.09253.
-
Persistent homology of directed spaces, (with Cameron Calk and Eric Goubault), submitted, 2023, arXiv:2305.03357.
-
Polygraphs: from rewriting to higher categories, (with Dimitri Ara, Albert Burroni, Yves Guiraud, François Métayer, and Samuel Mimram), London Mathematical Society Lecture Note Series, to appear.
arXiv, HAL
-
Shuffle polygraphic resolutions for operads,
(with Isaac Ren), Journal of the London Mathematical Society, Vol. 107, Issue 1, pp. 61-122, 2023.
DOI, arXiv, HAL
Announcements
Lectures notes
Editorial
Member of