Data structures for quasistrict higher categories

zbMath1458.68042arXiv1610.06908MaRDI QIDQ5144694

Jamie Vicary, Krzysztof Bar

Publication date: 19 January 2021

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

Mathematics Subject Classification ID

Data structures (68P05) Tricategories, weak (n)-categories, coherence, semi-strictification (18N20)

Related Items (6)

Weak units, universal cells, and coherence via universality for bicategories ⋮ A skew approach to enrichment for Gray-categories ⋮ Data Structures for Topologically Sound Higher-Dimensional Diagram Rewriting ⋮ Unnamed Item ⋮ Coherence of Gray Categories via Rewriting ⋮ Rewriting in Gray categories with applications to coherence

This page was built for publication: Data structures for quasistrict higher categories