確認すること
次を確認するには、紙と体力を使うしかないのだろう、ヒエー。
参考→Circ-Kleisli構成 - 檜山正幸のキマイラ飼育記 メモ編
- Cが対称モノイド圏、T, PがC上の強モナドで、PはT上に分配する。この状況で、適当な圏Xがあって、|X| = |C|、X(A, B) ≒ {すべてのSに対する C(T(A)×S, P(T(B)×S))} となる。
- 上のXにおいて、X(A, B)は圏になり、X全体は二圏となる。
- X(A, B)は余代数の圏とみなせる。
- Xにトレースが定義できる。
- Cが閉モノイド圏のとき、H(S, A, B) = [T(A)×S, P(T(B)×S)] とすると、Hはnotion of processとなる。