1
vote
2answers
116 views

How are sets “trees with no symmetries”

In Vladimir Voevodsky's lecture Foundations of Mathematics and Homotopy Theory, in passing he mentions that the Zermelo-Fraenkel axioms describe objects which they call "sets", but which he would not ...
5
votes
0answers
326 views

Good Reference for Large Cardinals/Homotopy Theory

I'm planning on attending a conference in Barcelona in September called "Large Cardinal Methods in Homotopy Theory" and want to try to be as prepared as I possibly can. Are there good references for ...