and Homotopy Type Theory maybe
some sort of study of Homotopy Type Theory
Becomes relevant in Homotopy Type Theory