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",
-
Show this thread
-
Replying to @Jonathan_Blow
(1) Category Theory (CT) is useful because it gives us lots of programming constructs for free e.g map, (un)fold, case etc. to name but a few of the very basic ones. But what makes CT really shine is that it not only gives us the constructs, it gives us the laws for using them.
2 replies 0 retweets 0 likes
Replying to @ctuaryware
Do you think people have not been doing map since the 1960s? I don’t get it.
10:18 AM - 3 Apr 2021
0 replies
0 retweets
2 likes
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.