> 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 langu

> 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.