ドクトリン、アンビエント圏、derivatorにより構成される構造をアプリケーション領域と呼ぶことにする。基本的なことは、次に書いてある。 一般関手モデル：インスティチューションとの関係 - 檜山正幸のキマイラ飼育記 D⊆Cat と、圏Presがあって、D(Cat(P),…

必要だと思ってことが、「強度対、両側強度、可換性」に書いてあった。 強度対、両側強度、可換性 - 檜山正幸のキマイラ飼育記 メモ編 可換強度、強モナドについては、 Circ-Kleisli構成のもっといい定式化 - 檜山正幸のキマイラ飼育記 メモ編 強モナドって…