2013-05-28 テンソル強度の一般論 モナド モノイド圏 必要だと思ってことが、「強度対、両側強度、可換性」に書いてあった。 強度対、両側強度、可換性 - 檜山正幸のキマイラ飼育記 メモ編 可換強度、強モナドについては、 Circ-Kleisli構成のもっといい定式化 - 檜山正幸のキマイラ飼育記 メモ編 強モナドってか? -- まだcirc-Kleisli構成 - 檜山正幸のキマイラ飼育記 メモ編 次も読み返すとよい。 System(Γ, Σ)の具体例:翻訳系 - 檜山正幸のキマイラ飼育記 メモ編