nLab François Métayer

François Métayer is a French mathematician and theoretical computer scientist, attached to the Laboratoire IRIF at Paris 7. He researches in logic, categories, and rewriting and more particularly in the development of geometric and topological methods in this areas. He is the organiser of the Catégories supérieures, polygraphes et homotopie working group.

• webpage

• François Métayer days - conference in honor of François Métayer around the themes of polygraphs, homotopy and rewriting.

Selected writings

On strict omega-categories being monadic over polygraphs:

• François Métayer, Strict $\omega$-categories are monadic over polygraphs, Theory and Applications of Categories, Vol. 31, No. 27, 2016, pp. 799-806. [TAC]

On the modules (“algebras”) over the state monad:

• François Métayer, State monads and their algebras [arXiv:math/0407251]

category: people