You are here

Univalent Foundations

The life and work of Vladimir Voevodsky was celebrated with a 4-day conference at the Institute for Advanced Study from September 11–14, 2018, bringing together...

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...