Homotopy Type Theory
Synthetic homotopy theory (history)

January 19, 2019

October 19, 2018

October 17, 2018

October 12, 2018

September 24, 2018

September 20, 2018

September 14, 2018

September 5, 2018

September 4, 2018

September 3, 2018

August 27, 2018

August 25, 2018

August 18, 2018

August 5, 2018