Strict $\omega$-categories are monadic over polygraphs

zbMath1356.18002arXiv1606.00139MaRDI QIDQ2826240

François Métayer

Publication date: 11 October 2016

Full work available at URL: https://arxiv.org/abs/1606.00139

zbMATH Keywords

monadicitypolygraph (or computad)strict omega-category

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (1)

Non-unital polygraphs form a presheaf category

This page was built for publication: Strict $\omega$-categories are monadic over polygraphs