Higher-dimensional categories with finite derivation type - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail Année : 2008

Higher-dimensional categories with finite derivation type

Yves Guiraud
Philippe Malbos

Résumé

The finite derivation type property is a homotopical condition on monoids. Craig Squier has proved that a monoid must satisfy it in order to admit a presentation by a finite and convergent rewriting system. We generalise the property to n-categories presented by polygraphs and we recover Squier's theorem when n is 1. However, we prove that this result does not hold anymore for categories of dimension 2 and above. We study several examples of 2-categories presented by finite convergent polygraphs, with or without the property of finite derivation type, in order to illustrate sample cases.
Fichier principal
Vignette du fichier
ntdf.pdf (1021.8 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-00326974 , version 1

Citer

Yves Guiraud, Philippe Malbos. Higher-dimensional categories with finite derivation type. 2008. ⟨hal-00326974v1⟩

Collections

ICJ
313 Consultations
197 Téléchargements

Partager

More