Strict $\omega$-categories are monadic over polygraphs
Résumé
We give a direct proof that the category of strict ω-categories is monadic over the category of polygraphs.
Domaines
Catégories et ensembles [math.CT]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...