String diagram での monoidal functor
@deprecated
代わりに Monoidal natural transformations in string diagrams - PS を参照。
Monoidal functor
Monoidal category:
について、monoidal functor:
とは
- 1-functor:
- 1-natural transformation:
- -morphism:
からなる代数的構造で、もろもろの coherence axiom を満たすものであった。
Monoidal functoriality
- 1-functoriality より
- Coherence axiom より
(下部の境界に一意に たちがある感じ。)
- の 1-naturality より