Homotopy Type Theory
product precategory (history)

September 6, 2018