> It occurs to me that my analogy with categories and functors is itself a transport between the language game of category theory and the language game of language games.
Bahahahahaha! Brilliant.
If I remember my category theory correctly, wouldn't this mean that you've discovered a Monad between the language game of category theory and the language game of language games?
If so, we could create the most incomprehensible monad tutorial yet written! Now there's a real achievement.
Bahahahahaha! Brilliant.
If I remember my category theory correctly, wouldn't this mean that you've discovered a Monad between the language game of category theory and the language game of language games?
If so, we could create the most incomprehensible monad tutorial yet written! Now there's a real achievement.