PS

Enriched categories in String diagrams

圏論 定義 Enriched String diagram

In symmetric monoidal categories...

\mathcal{V}-enriched category \mathcal{A} の composition は

  • \circ : \mathcal{A}(B, C) \otimes \mathcal{A}(A,B) \to \mathcal{A}(A,C)

というカタチで定義されることになっているので

f:id:mbps:20151114185650p:plain

か

f:id:mbps:20151114185143p:plain

の二択になってしまうのだが、特に、 \mathcal{V} が symmetric のときは

f:id:mbps:20151114185150p:plain

とすれば良かった。 currying がややこしくなってしまう。

参考文献