The law of excluded middle in the simplicial model of type theory
From MaRDI portal
Publication:5121795
zbMath1452.03038arXiv2006.13694MaRDI QIDQ5121795
Peter LeFanu Lumsdaine, Unnamed Author
Publication date: 22 September 2020
Full work available at URL: https://arxiv.org/abs/2006.13694
Simplicial sets and complexes in algebraic topology (55U10) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Categorical semantics of formal languages (18C50) Type theory (03B38)
Related Items
Unnamed Item, Unnamed Item, Univalence in locally Cartesian closed categories, Unnamed Item, An introduction to univalent foundations for mathematicians, Construction of the circle in \textit{UniMath}