11 citations · 15 across the 3 of their papers we have counts for
1 paper · 1 filter
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…