I have tried to read several books about category theory, but they all appear to dissolve into lists of trivial details before they ever clearly say anything new or powerful. Is category theory really just the idea "hey we can draw equations in 2D instead of 1D",
-
-
If you want to see things that really motivate expressing things categorically, presumably a context like algebraic topology (where categories etc. originally came up) would be better.
-
If you learn about categories to talk about maths you already know, it'll plausibly just be a different perspective. Perspectives are still valuable, and sometimes they can help with "asking the right questions" (what topology should products have?), rather than answering them.
- Show replies
New conversation -
-
-
simplicial sets are one example i know of where the categorical defn is clearer and simpler than the “longhand” one. another advantage is once you know about the framework, it is easier to transport knowledge between seemingly very different topics 1/2
-
for example presheaf techniques let one perform similar constructions in vector spaces, logic, homology theory, and combinatorics (via species).
End of conversation
New conversation -
-
-
That's kind of the point of category: to pile abstractions onto abstractions so that certain things become very short to state. It takes years to become familiar with all this stuff, but then you can work on a very abstract level where you can get rid of all unnecessary details.
-
I would guess that it has not much to offer to you personally.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.