So your path-based approach to category theory would be analogous to the matrix-based approach of group theory in physics? That is, removing the abstraction that made us stumble into theses concepts in the first place, and keeping only what is of use for our applications?
I would like to see that. I’m not sure that your own proposition is the right one, but the idea is exciting.
So your path-based approach to category theory would be analogous to the matrix-based approach of group theory in physics? That is, removing the abstraction that made us stumble into theses concepts in the first place, and keeping only what is of use for our applications?
I would like to see that. I’m not sure that your own proposition is the right one, but the idea is exciting.
Yup, that’s basically the idea.