Michael Shulman University of San Diego Homotopy type theory: towards Grothendieck’s dream Several decades ago, Grothendieck proposed that “∞-groupoids” could replace topological spaces as a context for homotopy

First Page		Document Content
Date: 2013-06-21 05:36:37		Michael Shulman University of San Diego Homotopy type theory: towards Grothendieck’s dream Several decades ago, Grothendieck proposed that “∞-groupoids” could replace topological spaces as a context for homotopy Add to Reading List Source URL: web.science.mq.edu.au Download Document from Source Website File Size: 113,84 KB Share Document on Facebook