Pro-embedding

(･･･とでも呼ぶことにする)

命題

Pseudofunctor:

• 

を次のようにして定義できる:

参考文献

• Arrows are Strong Monads.pdf