Voir la notice de l'article provenant de la source Theory and Applications of Categories website
We give a direct proof that the category of strict $\omega$-categories is monadic over the category of polygraphs.
@article{TAC_2016_31_a26, author = {Francois Metayer}, title = {Strict $\omega$-categories are monadic over polygraphs}, journal = {Theory and applications of categories}, pages = {799--806}, publisher = {mathdoc}, volume = {31}, year = {2016}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_2016_31_a26/} }
Francois Metayer. Strict $\omega$-categories are monadic over polygraphs. Theory and applications of categories, Tome 31 (2016), pp. 799-806. http://geodesic.mathdoc.fr/item/TAC_2016_31_a26/