[lying4fun]

would you say that 3 reformulates 1+1+1 in another language? because if yes, such reformulations shouldn’t be disregarded just because they’re “reformulations”. so we can say there are kinds of reformulations which make things incredibly easier, and category theory is one of them

[ogogmad]

Why do you think category theory makes it easier? That's one thing category theory does not do. How well do you understand the subject?

There is a category theory "school of thought" in many subjects, which believes without solid evidence that category theory must be immensely useful to their subject. But it's often just that: a school of thought. This is the situation of category theory in CS. My concern is that people aren't being honest about this.

[lying4fun]

you’re right, and I’m in that school of thought, but mainly for math. In essence, I know people who use it in their reaearch and I trust them (and there’s a lot of good people doing good stuff with CT—it’s ubiquitous, so I’m fine with trusting them). I have a beginner understanding of CT, actually I finally started studying it seriously a month ago, after being exposed to it sporadically for some time. I’m not claiming anything about CT in CS, but I’m optimistic about that it can have a more widespread positive effect in it