A cubical Squier’s theorem

DOI10.1017/S0960129520000018zbMath1436.18022arXiv1612.06541OpenAlexW3004734796MaRDI QIDQ5220186

Maxime Lucas

Publication date: 11 March 2020

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

coherencerewritingcubical categories

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Sets with a single binary operation (groupoids) (20N02) Strict omega-categories, computads, polygraphs (18N30)

Related Items (1)

Cubical $(\omega,p)$-categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Higher-dimensional normalisation strategies for acyclicity
• A coherence theorem for pseudonatural transformations
• Higher-dimensional word problems with applications to equational logic
• Homomorphisms of higher categories
• Word problems and a homological finiteness condition for monoids
• The algebra of oriented simplexes
• On the algebra of cubes
• Limits indexed by category-valued 2-functors
• A finiteness condition for rewriting systems
• Multiple categories: The equivalence of a globular and a cubical approach
• Cubical $(\omega,p)$-categories
• Polygraphs of finite derivation type
• Coherence in monoidal track categories

This page was built for publication: A cubical Squier’s theorem