Showing math.LOShow all
2 papers · 1 filter
math.LO2021
Predicative Aspects of Order Theory in Univalent Foundations
Tom de Jong, Martín Hötzel Escardó
We investigate predicative aspects of order theory in constructive univalent foundations. By predicative and constructive, we respectively mean that we do not assume Voevodsky's pr…
math.LO2018
A self-contained, brief and complete formulation of Voevodsky's Univalence Axiom
Martín Hötzel Escardó
In introductions to the subject for a general audience of mathematicians or logicians, the univalence axiom is typically explained by handwaving. This gives rise to several misconc…