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