Identities among relations for higher-dimensional rewriting systems
by
Yves Guiraud
,
Inria Nancy
,
Université Lyon
| Citations: | 2 - 0 self |
BibTeX
@MISC{Guiraud_identitiesamong,
author = {Yves Guiraud and Inria Nancy and Université Lyon},
title = {Identities among relations for higher-dimensional rewriting systems},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract – We generalize the notion of identities among relations, well known for presentations of groups, to presentations of n-categories by polygraphs. To each polygraph, we associate a track n-category, generalizing the notion of crossed module for groups, in order to define the natural system of identities among relations. We relate the facts that this natural system is finitely generated and that the polygraph has finite derivation type. Support – This work has been partially supported by ANR Inval project (ANR-05-BLAN-0267).
