Category theory has very hard definitions and not many theorems. Would not recommend. It has Grand Unified Theory vibes so pseudo intellectuals have a hard on for it.
Don't waste your time trying to understand people who write to make themselves sound smart. You aren't missing out on anything.
Here is a recent article from TOPLAS, imo a top programming language journal. No category theory here...
Don't waste your time trying to understand people who write to make themselves sound smart. You aren't missing out on anything.
Here is a recent article from TOPLAS, imo a top programming language journal. No category theory here...
https://dl.acm.org/doi/10.1145/3564619