How many of you have read this?
I'm at page 72 rn and it kicks ass.
The thought that you can do homotopy theory synthetically and also use it as a basis for whole mathematics is very exciting.
What do you think about it?