Homotopy Type Theory
A Cubical Approach to Synthetic Homotopy Theory (history)

February 14, 2019