Identities among relations for higher-dimensional rewriting systems

Yves Guiraud; Philippe Malbos

hal-00426228, version 2

Identities among relations for higher-dimensional rewriting systems

Yves Guiraud ( Auteur à contacter de préférence ) ^1, 2, Philippe Malbos () ²

Société Mathématique de France, Séminaires et Congrès 26 (2011) 145-161

Résumé : 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.

1 : PAREO (INRIA Lorraine - LORIA)
INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
2 : Institut Camille Jordan (ICJ)
CNRS : UMR5208 – Université Claude Bernard - Lyon I – Ecole Centrale de Lyon – Institut National des Sciences Appliquées (INSA) - Lyon

hal-00426228, version 2
http://hal.archives-ouvertes.fr/hal-00426228
oai:hal.archives-ouvertes.fr:hal-00426228
Contributeur : Yves Guiraud <>
Soumis le : Mercredi 7 Avril 2010, 13:24:00
Dernière modification le : Jeudi 12 Mai 2011, 15:01:40

Voir la fiche détaillée

Documents associés

PDF :

Exporter

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="article"><head>Articles dans des revues avec comité de lecture</head>
<biblStruct type="article" xml:id="hal-00426228"><analytic>
<author><persName><forename>Yves</forename><surname>Guiraud</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA</orgName>
<orgName type="team">PAREO</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">ICJ</orgName>
<orgName type="team">Institut Camille Jordan</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR5208</orgName>
<orgName type="institution">Université Claude Bernard - Lyon I</orgName>
<orgName type="institution">Ecole Centrale de Lyon</orgName>
<orgName type="institution">Institut National des Sciences Appliquées (INSA) - Lyon</orgName>
</affiliation>
</author>
<author><persName><forename>Philippe</forename><surname>Malbos</surname></persName>
<affiliation>
<orgName type="laboratory">ICJ</orgName>
<orgName type="team">Institut Camille Jordan</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR5208</orgName>
<orgName type="institution">Université Claude Bernard - Lyon I</orgName>
<orgName type="institution">Ecole Centrale de Lyon</orgName>
<orgName type="institution">Institut National des Sciences Appliquées (INSA) - Lyon</orgName>
</affiliation>
</author>
<title type="main" level="a">Identities among relations for higher-dimensional rewriting systems</title></analytic><monogr><title level="j" type="main">Société Mathématique de France, Séminaires et Congrès</title><imprint><biblScope type="publicationDate">2011-00-00</biblScope><biblScope type="vol">26</biblScope><biblScope type="pp">145-161</biblScope></imprint></monogr><idno type="HALid">http://hal.archives-ouvertes.fr/hal-00426228</idno><idno type="HALFile">http://hal.archives-ouvertes.fr/hal-00426228/PDF/niar.pdf</idno></biblStruct>
</listBibl>
</listBibl>