PS

Pro-embedding

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

命題

Pseudofunctor:

  •  \operatorname{pro} : \mathbf{CAT} \to \mathbf{PROF}

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

f:id:mbps:20151203032857p:plain

参考文献