Homotopy Type Theory
opposite precategory (history)

September 6, 2018