2008-08-19 可換性に関する論法:ケリーとエクマン/ヒルトン 気付いた モノイド圏のスカラー(アブラムスキーの言う抽象スカラー)が可換モノイドになることはケリーが証明したらしいが、これってエクマン/ヒルトン論法(The Eckman-Hilton argument)と同じだよね。モノイド積が双関手であるところがミソ; 交替律の成立が可換律を導く。