Sponsor of the Day:
Jerkmate
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