A Type-Theoretical Definition of Weak {\omega}-Categories

zbMath1452.18024arXiv1706.02866MaRDI QIDQ5144671

Samuel Mimram, Eric Finster

Publication date: 19 January 2021

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

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

03B38: Type theory

18N20: Tricategories, weak (n)-categories, coherence, semi-strictification