Monoidal category にて・・・ Diagonal morphism Naturality Terminating morphism (とはたぶん呼ばない) Naturality これらは、より一般には cartesian monoidal category のときに作れる。 State monad get/put 参考文献 [1203.0202] Pictures of Processes:…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。