Oct 18, 2023
What does your banner mean?
It’s a compact expression of the Univalence Axiom!
I rendered it myself using LaTeXiT.
seen from United States
seen from United Kingdom
seen from Uzbekistan
seen from United States
seen from United States
seen from United Kingdom
seen from United States
seen from United States
seen from United States
seen from Chile
seen from Argentina
seen from United Kingdom
seen from Argentina
seen from Germany
seen from Yemen
seen from United States
seen from United States
seen from Argentina
seen from China
seen from Argentina
What does your banner mean?
It’s a compact expression of the Univalence Axiom!
I rendered it myself using LaTeXiT.
A nice thing about the usual formulation of [the Univalence Axiom] in the form (A=B)≃(A≃B) is that it implies (A=B)=(A≃B), by UA one universe up.
Steve Awodey on MathOverflow (x)