Mathematics > Category Theory
[Submitted on 23 Mar 2012 (this version), latest version 22 May 2015 (v4)]
Title:Coherent presentations and actions on categories
View PDFAbstract:We study Deligne's notion of action of a monoid on a category and, in particular, the piece of data that corresponds to the coherence relations that such an action should satisfy. We prove that actions of a monoid are equivalent to 2-functors from a 2-categorical cofibrant replacement of the monoid into the 2-category of categories. One way to compute such a cofibrant replacement is to consider the 2-category presented by a coherent presentation of the monoid: this is a presentation extended with a homotopy basis, that is, a set of relations between the relations that identifies any two proofs of the same equality in the monoid. Using higher-dimensional rewriting, in the polygraphic setting, we combine and extend Squier's theorem and Knuth-Bendix completion procedure into a "reduced homotopical completion" procedure that, when successful, transforms a given presentation into a relatively small coherent presentation. In particular, when used on Deligne's presentation of Artin-Tits groups of spherical type, the procedure computes the coherence conditions that Deligne finds with geometric methods.
Submission history
From: Yves Guiraud [view email][v1] Fri, 23 Mar 2012 21:24:17 UTC (52 KB)
[v2] Wed, 13 Mar 2013 23:46:46 UTC (57 KB)
[v3] Mon, 7 Jul 2014 13:33:29 UTC (43 KB)
[v4] Fri, 22 May 2015 15:17:58 UTC (43 KB)
Current browse context:
math.CT
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
alphaXiv (What is alphaXiv?)
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Hugging Face (What is Huggingface?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.