A coherence theorem for pseudonatural transformations

DOI10.1016/j.jpaa.2016.09.005zbMath1373.18003arXiv1508.07807OpenAlexW2208565048MaRDI QIDQ502628

Maxime Lucas

Publication date: 5 January 2017

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1508.07807

zbMATH Keywords

confluencerewriting systembicategorypolygraphpseudofunctor\(n\)-categorycomputadsesquicategory

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40)

Related Items

Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups, A cubical Squier’s theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Higher-dimensional normalisation strategies for acyclicity
• Higher-dimensional word problems with applications to equational logic
• Coherence for bicategories and indexed categories
• The algebra of oriented simplexes
• A general coherence result
• Limits indexed by category-valued 2-functors
• A finiteness condition for rewriting systems
• Combinatorial group theory.
• Cofibrant objects among higher-dimensional categories
• THE SUBWORD REVERSING METHOD
• Higher-dimensional categories with finite derivation type
• Introduction to bicategories
• Coherence in monoidal track categories
• Term Rewriting and All That
• Coherent presentations of Artin monoids