4 ms·
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
by ogogmad 6y ago
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.