クンマー様、

この議論にファンクター・カテゴリーが必要というのはちょっと意外ですね。
唯言葉として使ってるだけなら判りますが。

猫