Strict $\omega$-categories are monadic over polygraphs

Francois Metayer

We give a direct proof that the category of strict $\omega$-categories is monadic over the category of polygraphs.

Keywords: $\omega$-categories, polygraphs, monads

2010 MSC: 18D05,18C15

Theory and Applications of Categories, Vol. 31, 2016, No. 27, pp 799-806.

Published 2016-08-19.

http://www.tac.mta.ca/tac/volumes/31/27/31-27.pdf

TAC Home