[ogogmad]

The OP said homotopy type theory. Homotopy theory proper is part of algebraic topology, which is certainly part of mainstream maths.

[Edit] Sorry, I originally said "you said" when it was OP who said.