The law of excluded middle in the simplicial model of type theory
2020
We show that the law of excluded middle holds in Voevodsky's simplicial model of type theory. As a corollary, excluded middle is compatible with univalence.
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
2
References
1
Citations
NaN
KQI