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

Categorical logic, topoi (03G30) Type theory (03B38) Tricategories, weak (n)-categories, coherence, semi-strictification (18N20)

Related Items (8)

The construction of set-truncated higher inductive types ⋮ Hom weak ω-categories of a weak ω-category ⋮ Unnamed Item ⋮ Monoidal weak ω-categories as models of a type theory ⋮ Bicategorical type theory: semantics and syntax ⋮ A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof ⋮ Syntactic approaches to opetopes ⋮ Unnamed Item

This page was built for publication: A Type-Theoretical Definition of Weak {\omega}-Categories