4 ms·
I'm not usually one to poke fun at these things but my friends who study formal logic/model theory/category theory/homotopy type theory/etc. will be excited to
by catpolice 6y ago
I'm not usually one to poke fun at these things but my friends who study formal logic/model theory/category theory/homotopy type theory/etc. will be excited to learn that they are not in fact doing mathematics.
- dmch-1 6y agoTo what extent can you get into category theory or homotopy type theory without learning some algebra or algebraic geometry/topology?
- jessaustin 6y ago"Algebra" by itself doesn't appear on this map. Clicking through and reading some of the descriptions, my impression is that this was not created by mathematicians.
- ogogmad 6y agoThose areas aren't part of mainstream mathematics. More like "theoretical computer science". Mathematics (in the mainstream sense) is the study of space and quantity.
- Ceezy 6y agoYou 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.
- gone35 6y ago> "space and quantity" That's a rather narrow view even of mainstream mathematics IMO.
- catpolice 6y agoThis is a very strange claim. Just off the top of my head, this definition of "mainstream mathematics" would exclude, for instance, Gödel's more famous theorems, a good bit of Grothendieck, some of the Bourbaki collective, and a huge amount of work from rather high profile mathematicians working today.
- ogogmad 6y agoYeah, perhaps you're right. I was trying to delineate what gets done in maths departments from what gets done in computer science, philosophy or other departments at universities while still falling under the umbrella of mathematics. Stuff like type theory is rarely done in maths departments (though it sometimes is).