Robuta

Sponsor of the Day: Jerkmate
https://mathoverflow.net/questions/tagged/homotopy-theory Newest 'homotopy-theory' Questions - MathOverflow theory questions mathoverflownewesthomotopy https://dec41.user.srcf.net/exp/motivic/index.html Motivic Homotopy Theory homotopy theory https://ncatlab.org/nlab/show/stable+homotopy+theory stable homotopy theory in nLab homotopy theorystablenlab https://mathoverflow.net/questions/506145/does-gage-hamilton-flow-of-a-jordan-curve-preserve-non-self-intersection homotopy theory - Does Gage-Hamilton flow of a Jordan curve preserve non-self-intersection? -... Consider a Jordan curve $\Gamma$ (closed, continuous, non-self-intersecting) and a potential homotopy of the following form: Each point $x$ on $\Gamma$ is... homotopy theorygagehamiltonflowjordan https://homotopytypetheory.org/ Homotopy Type Theory This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and hosts a blog for those involved... homotopy type theory https://ncatlab.org/nlab/show/homotopy+type+theory homotopy type theory in nLab homotopy type theorynlab https://homotopytypetheory.org/2011/11/ November | 2011 | Homotopy Type Theory 1 post published by Mike Shulman during November 2011 homotopy type theorynovember 2011 https://homotopytypetheory.org/2016/01/ January | 2016 | Homotopy Type Theory 1 post published by Simon Boulier during January 2016 homotopy type theoryjanuary 2016 https://homotopytypetheory.org/2016/09/ September | 2016 | Homotopy Type Theory 1 post published by konstantinweitz during September 2016 homotopy type theoryseptember 2016 https://homotopytypetheory.org/category/univalence/ Univalence | Homotopy Type Theory Posts about Univalence written by Mike Shulman, Dan Licata, Steve Awodey, Nicolai Kraus, Nils Anders Danielsson, and HoTT homotopy type theory https://homotopytypetheory.org/2014/06/ June | 2014 | Homotopy Type Theory 2 posts published by Mike Shulman during June 2014 homotopy type theoryjune 2014