Mathematics The Origins and Motivations of Univalent Foundations Vladimir Voevodsky The Institute Letter Summer 2014 In January 1984, Alexander Grothendieck submitted to the French National Centre for Scientific Research his proposal “Esquisse d’un Programme.” Soon copies of this text started circulating among mathematicians. A few months later, as a first-year... Read More