Identities among relations for higher-dimensional rewriting systems
Category Theory
2011-05-13 v2 Algebraic Topology
K-Theory and Homology
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.
Cite
@article{arxiv.0910.4538,
title = {Identities among relations for higher-dimensional rewriting systems},
author = {Yves Guiraud and Philippe Malbos},
journal= {arXiv preprint arXiv:0910.4538},
year = {2011}
}
Comments
16 pages, corrected version after review, to appear in S\'eminaires et Congr\`es