POLYGRAPHS AND DISCRETE CONDUCHÉ ω-FUNCTORS
Résumé
We define a class of morphisms between strict ω-categories called discrete Conduché ω-functors that generalize discrete Conduché functors between 1-categories and we study their properties related to polygraphs. The main result we prove is that for every discrete Conduché ω-functor, if its target is a free strict ω-category on a polygraph then so is its source.
Domaines
Catégories et ensembles [math.CT]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...