Reminder to self that I want to get into this
Quote Tweet
Replying to @sadmathboi
I think it's definitely an interesting question! It's this distinction between "synthetic" vs "analytic" geometry: do you write down axioms for what a shape is or do you define it in terms of other concepts like the real line? This is actually a big deal in HoTT stuff
1
