Foundations of Mathematics and Homotopy Theory - Vladimir Voevodsky

[@BlueSoulTiger]

Lecture starts properly at 6:11 (after some minor techy problems)

[@kamilziemian995]

Thank you.

[@morgengabe1]

That isomorphism invariance principle.. how are we teaching each other algebra without that?
Like I get the obviousness, but I definitely didn't.

[@cala4465]

sad