PS

Arrows are strong promonads

Arrow

Arrow-fragment \mathtt{first} を加えたもの。

命題

証明

・・・は終わりそうもないが対応はたぶんこう:

f:id:mbps:20151209084629p:plain

(symmetry は省略)

参考文献