nLab François Métayer

Selected writings

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.

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:

category: people

Last revised on August 13, 2023 at 12:10:48. See the history of this page for a list of all contributions to it.