and Homotopy Type Theory maybe

some sort of study of Homotopy Type Theory

Becomes relevant in Homotopy Type Theory