Voevodsky’s Mathematical Revolution
blogs.scientificamerican.com