2010-06-07 余強度 モナド モノイド圏 T(A)×B → T(A×B) が余強度ってことじゃないな。やっぱり右強度と左強度が必要か。T(A×B)→T(A)×B で可換図式を全部ひっくり返したんが余強度ってことらしい。