PS

Self-enriched monoidal product

(と呼べるかな)(Tensor の略だと思うが名称不明・・・)

Ten

Symmetric closed monoidal category  \mathcal{V} において、 \mathcal{V}-functor:

  •  \operatorname{Ten} : (\mathcal{V}) \otimes (\mathcal{V}) \to (\mathcal{V})

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

f:id:mbps:20150327082428p:plain

命題.1

f:id:mbps:20150326032026p:plain

命題.2

f:id:mbps:20150326032035p:plain

参考文献