3 ms·
You can't be serious. Homotopy theory is about shape!
by Ceezy 6y ago
You can't be serious. Homotopy theory is about shape!
- ogogmad 6y agoThe 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.