2015-12-09 Arrows are strong promonads 圏論 Arrow Profunctor Monad Arrow Arrow-fragment に を加えたもの。 命題 Arrow と strong promonad は同値。 証明 ・・・は終わりそうもないが対応はたぶんこう: (symmetry は省略) 参考文献 Arrows are Strong Monads.pdf