Coherent Presentations of Monoidal Categories

Pierre-Louis Curien 1, 2 Samuel Mimram 3
2 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique, Inria de Paris
Abstract : Presentations of categories are a well-known algebraic tool to provide descriptions of categories by means of generators, for objects and morphisms, and relations on morphisms. We generalize here this notion, in order to consider situations where the objects are considered modulo an equivalence relation, which is described by equational generators. When those form a convergent (abstract) rewriting system on objects, there are three very natural constructions that can be used to define the category which is described by the presentation: one consists in turning equational generators into identities (i.e. considering a quotient category), one consists in formally adding inverses to equational generators (i.e. localizing the category), and one consists in restricting to objects which are normal forms. We show that, under suitable coherence conditions on the presentation, the three constructions coincide, thus generalizing celebrated results on presentations of groups, and we extend those conditions to presentations of monoidal categories.
Type de document :
Article dans une revue
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (3), pp.1-38. 〈https://lmcs.episciences.org/3955〉. 〈10.23638/LMCS-13(3:31)2017〉
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01662524
Contributeur : Samuel Mimram <>
Soumis le : mercredi 13 décembre 2017 - 11:28:53
Dernière modification le : jeudi 10 mai 2018 - 02:06:08

Fichier

1705.03553.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Pierre-Louis Curien, Samuel Mimram. Coherent Presentations of Monoidal Categories. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (3), pp.1-38. 〈https://lmcs.episciences.org/3955〉. 〈10.23638/LMCS-13(3:31)2017〉. 〈hal-01662524〉

Partager

Métriques

Consultations de la notice

261

Téléchargements de fichiers

17