Higher-dimensional categories with finite derivation type - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Theory and Applications of Categories Année : 2009

Higher-dimensional categories with finite derivation type

Résumé

We study convergent (terminating and confluent) presentations of n-categories. Using the notion of polygraph (or computad), we introduce the homotopical property of finite derivation type for $n$-categories, generalizing the one introduced by Squier for word rewriting systems. We characterize this property by using the notion of critical branching. In particular, we define sufficient conditions for an n-category to have finite derivation type. Through examples, we present several techniques based on derivations of 2-categories to study convergent presentations by 3-polygraphs.
Fichier principal
Vignette du fichier
ntdf.pdf (1.27 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00326974 , version 1 (06-10-2008)
hal-00326974 , version 2 (20-10-2009)

Identifiants

Citer

Yves Guiraud, Philippe Malbos. Higher-dimensional categories with finite derivation type. Theory and Applications of Categories, 2009, 22 (18), pp.420-478. ⟨10.48550/arXiv.0810.1442⟩. ⟨hal-00326974v2⟩
269 Consultations
161 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More