François Métayer

Available identifiers

zbMath Open metayer.francoisMaRDI QIDQ534533

List of research outcomes

Publication	Date of Publication	Type
Orientals as free algebras	2024-02-20	Paper
Polygraphs: From Rewriting to Higher Categories	2023-12-01	Paper
Strict \(\omega\)-categories are monadic over polygraphs	2016-10-11	Paper
The Brown-Golasiński model structure on strict \(\infty \)-groupoids revisited	2011-05-17	Paper
A folk model structure on omega-cat	2010-05-26	Paper
Polygraphic resolutions and homology of monoids	2009-03-30	Paper
Cofibrant objects among higher-dimensional categories	2008-02-22	Paper
Cofibrant complexes are free	2007-01-25	Paper
State monads and their algebras	2004-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q4707051	2003-06-05	Paper
Implicit exchange in multiplicative proofnets	2001-07-17	Paper
Polynomial equivalence among systems LLNC, LLNC\(_a\) and LLNC\(_0\)	2000-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4222838	1998-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4842979	1995-11-28	Paper
Homology of proof-nets	1994-09-20	Paper

Research outcomes over time

This page was built for person: François Métayer