The correspondence between homotopy types and higher categorical
analogs of groupoids which was first conjectured by Alexander
Grothendieck naturally leads to a view of mathematics where sets
are used to parametrize collections of objects without...
Vladimir Voevodsky, Professor, School of Mathematics
This lecture was part of the Institute for Advanced Study’s
celebration of its eightieth anniversary, and took place during the
events related to the Schools of Mathematics and Natural
Sciences.
