You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
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",
and then all these books are just listing out what that looks like, or is there really a separate body of ideas about something that isn't already covered everywhere else?
(Not to discount the potential strength of the idea of doing equations in 2D, it's just, everyone seems to be claiming it's more than that, but I don't see it, and I am trying).
Which books have you tried reading? I think the important ideas to take away from category theory are things like naturality and universal properties, which don't have much to do with diagrams.
Those sorts of things are real ideas that don't come up that much in other contexts. But this quote (from Leinster's _Basic Category Theory_) is probably pretty true, and useful to keep in mind:pic.twitter.com/zyCdr9Fjfw
You are correct: the point of category is mostly that all these things you know from different places fit into a single simple framework.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
