モノイド圏のスカラー（アブラムスキーの言う抽象スカラー）が可換モノイドになることはケリーが証明したらしいが、これってエクマン／ヒルトン論法（The Eckman-Hilton argument）と同じだよね。モノイド積が双関手であるところがミソ； 交替律の成立が可換…