Higher-dimensional categories with finite derivation type - INRIA - Institut National de Recherche en Informatique et en Automatique Access content directly
Preprints, Working Papers, ... Year : 2008

Higher-dimensional categories with finite derivation type

Yves Guiraud
Philippe Malbos

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-00326974 , version 1

Cite

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

Collections

ICJ
272 View
165 Download

Share

Gmail Facebook X LinkedIn More