PS

Monoidal product of profunctors

記法

  •  (\mathbf{PROF}, \overset{\circ}{\circ}, \overset{\circ}{1}) := \mathbf{PROF}

Monoidal product of profunctors

f:id:mbps:20151205023905p:plain

とすると、pseudofunctor:

  •  \overset{\circ}{\times} : \mathbf{PROF} \times \mathbf{PROF} \to \mathbf{PROF}

になって  (\mathbf{PROF},\overset{\circ}{\times},\lbrace \ast \rbrace) は monoidal bicategory になる・・・んだろうなと思う。*1

特に、

  •  \mathtt{-} \overset{\circ}{\times} \mathcal{B} : \mathbf{PROF} \to \mathbf{PROF}

f:id:mbps:20151205025156p:plain

は pseudofunctor になる。添字は略・・・するのが計算のコツらしい。

参考文献

*1:証明は恐ろしいのでパス