nLab
bilax monoidal functor
Contents
Context
Monoidal categories
monoidal categories
With symmetry
With duals for objects
With duals for morphisms
With traces
Closed structure
Special sorts of products
Semisimplicity
Morphisms
Internal monoids
Examples
Theorems
In higher category theory
Contents
Definition
A bilax monoidal functor is a functor between categories equipped with the structure of braided monoidal categories that is both a lax monoidal functor as well as an oplax monoidal functor with natural transformations
satisfying two compatibility conditions:
-
braiding For all the following diagram commutes
-
unitality (…)
References
Definition 3.3 in
Last revised on November 3, 2010 at 16:20:36.
See the history of this page for a list of all contributions to it.