Follow
Happy I took time to study some topology this summer. Algebraic topology is all the things I hoped for.
I am not sure I quite get it yet, but a topology of something seems to be usable as a definition to a lot of geometric notions. All of analysis work seems to just be applied topology. And with homotopy type theory, all sorts of data science, machine learning, and statistics work could be made easier and more precise.
Cubical type theory, (a computation friendly HOTT) is not even 2 years old. It is going to be big.
