License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.RTA.2015.89
URN: urn:nbn:de:0030-drops-51916
URL: http://drops.dagstuhl.de/opus/volltexte/2015/5191/
Go to the corresponding LIPIcs Volume Portal


Clerc, Florence ; Mimram, Samuel

Presenting a Category Modulo a Rewriting System

pdf-format:
11.pdf (0.5 MB)


Abstract

Presentations of categories are a well-known algebraic tool to provide descriptions of categories by the 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 (in the spirit of rewriting modulo), 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 is based on restricting to objects which are normal forms, one consists in turning equational generators into identities (i.e. considering a quotient category), and one consists in formally adding inverses to equational generators (i.e. localizing the category). We show that, under suitable coherence conditions on the presentation, the three constructions coincide, thus generalizing celebrated results on presentations of groups. We illustrate our techniques on a non-trivial example, and hint at a generalization for 2-categories.

BibTeX - Entry

@InProceedings{clerc_et_al:LIPIcs:2015:5191,
  author =	{Florence Clerc and Samuel Mimram},
  title =	{{Presenting a Category Modulo a Rewriting System}},
  booktitle =	{26th International Conference on Rewriting Techniques and Applications (RTA 2015)},
  pages =	{89--105},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-85-9},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{36},
  editor =	{Maribel Fern{\'a}ndez},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5191},
  URN =		{urn:nbn:de:0030-drops-51916},
  doi =		{10.4230/LIPIcs.RTA.2015.89},
  annote =	{Keywords: presentation of a category, quotient category, localization, residuation}
}

Keywords: presentation of a category, quotient category, localization, residuation
Seminar: 26th International Conference on Rewriting Techniques and Applications (RTA 2015)
Issue Date: 2015
Date of publication: 17.06.2015


DROPS-Home | Fulltext Search | Imprint Published by LZI