Strict $\omega$-categories are monadic over polygraphs
Category Theory
2016-06-03 v2
Abstract
We give a direct proof that the category of strict -categories is monadic over the category of polygraphs.
Cite
@article{arxiv.1606.00139,
title = {Strict $\omega$-categories are monadic over polygraphs},
author = {François Métayer},
journal= {arXiv preprint arXiv:1606.00139},
year = {2016}
}