The following pages link to François Métayer (Q534533):
Displayed 16 items.
- The Brown-Golasiński model structure on strict \(\infty \)-groupoids revisited (Q534534) (← links)
- Internal Kleisli categories (Q538059) (← links)
- A folk model structure on omega-cat (Q973942) (← links)
- Polygraphic resolutions and homology of monoids (Q1008743) (← links)
- Homology of proof-nets (Q1330310) (← links)
- Polynomial equivalence among systems LLNC, LLNC\(_a\) and LLNC\(_0\) (Q1575872) (← links)
- Cofibrant objects among higher-dimensional categories (Q2472759) (← links)
- Implicit exchange in multiplicative proofnets (Q2719797) (← links)
- Strict $\omega$-categories are monadic over polygraphs (Q2826240) (← links)
- (Q4222838) (← links)
- (Q4707051) (← links)
- (Q4842979) (← links)
- (Q6198052) (← links)
- Polygraphs: From Rewriting to Higher Categories (Q6461687) (← links)
- State monads and their algebras (Q6474250) (← links)
- Cofibrant complexes are free (Q6478683) (← links)