Arrow Arrow-fragment に を加えたもの。 命題 Arrow と strong promonad は同値。 証明 ・・・は終わりそうもないが対応はたぶんこう: (symmetry は省略) 参考文献 Arrows are Strong Monads.pdf
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。