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

Arrow laws (･･･やっぱりつらいので左右逆にならないようにする) 以下、水平方向は考えないで、垂直方向のみ 1-category の composition とする。 メモ 「1.」と「 2.」は の functoriality。 「6.」は の についての extranaturality。 ただし、naturality …