This is what turned me off also. Category theory is all promises of potential benefits, but none seem to have materialised.
The closest example to something useful I’ve seen is a CT-based explanation for why Automatic Differentiation is formulated the way it is.
However, AD was invented before CT, and the explanation didn’t add any value that I could see. It didn’t result in a “better” AD, it simply attached esoteric labels to existing things.
The closest example to something useful I’ve seen is a CT-based explanation for why Automatic Differentiation is formulated the way it is.
However, AD was invented before CT, and the explanation didn’t add any value that I could see. It didn’t result in a “better” AD, it simply attached esoteric labels to existing things.