[jveld]

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

[danharaj]

Ah no, no monads here i'm afraid :)