For questions about the field of study known as homotopy type theory.

Homotopy Type Theory refers to a new field of study relating Martin-Löf’s system of intensional, constructive type theory with abstract homotopy theory.

(source)

Feel free to help editing the wiki here.