4 ms·
I disagree, I found it very muddled. For example, how are split(' ') and join(' ') supposed to be adjoint functors when they're not even functors?
by omaranto 13y ago
I disagree, I found it very muddled. For example, how are split(' ') and join(' ') supposed to be adjoint functors when they're not even functors?
- chas 13y agoHe's playing fast and loose with the formalisms to try to convey the intuition to people without a strong algebraic background. Ruby isn't very well behaved from a categorical perspective (heck, even Haskell doesn't get all of the way there if you want to be really formal) so it's not perfect, but I think the reasoning is morally correct and insightful.