Diagrammatic sets and rewriting in weak higher categories
From MaRDI portal
Publication:6346049
arXiv2007.14505MaRDI QIDQ6346049
Publication date: 28 July 2020
Simplicial sets and complexes in algebraic topology (55U10) Strict omega-categories, computads, polygraphs (18N30) Tricategories, weak (n)-categories, coherence, semi-strictification (18N20)
This page was built for publication: Diagrammatic sets and rewriting in weak higher categories
