category with duals (list of them)
dualizable object (what they have)
ribbon category, a.k.a. tortile category
monoidal dagger-category?
If $C$ and $D$ are monoidal categories, an oplax monoidal functor $F : C \to D$ is defined to be a lax monoidal functor $F: C^{op} \to D^{op}$. So, among other things, tensor products are preserved up to morphisms of the following sort in $D$:
which must satisfy a certain coherence law.
An oplax monoidal functor sends comonoids in $C$ to comonoids in $D$, just as a lax monoidal functor sends monoids in $C$ to monoids in $D$. For this reason an oplax monoidal functor is sometimes called a lax comonoidal functor. The other obvious terms, colax monoidal and lax opmonoidal, also exist (or at least are attested on Wikipedia).
Note that a strong opmonoidal functor –in which the morphisms $\phi$ are required to be isomorphisms— is the same thing as a strong monoidal functor.
A functor with a right adjoint is oplax monoidal if and only if that right adjoint is a lax monoidal functor.
This is a special case of the statement of doctrinal adjunction for the case of the 2-monad whose algebras are monoidal categories,
Here is the explicit construction of the oplax monoidal structure from a lax monoidal structure on a right adjoint:
Let $(L \dashv R) : C \stackrel{\overset{L}{\leftarrow}}{\underset{R}{\to}} D$ be a pair of adjoint functors and let $(C,\otimes)$ and $(D,\otimes)$ be structures of monoidal categories.
Then if $R$ is a lax monoidal functor $L$ becomes an oplax monoidal functor with oplax unit
the adjunct of the lax unit $I_D \to R(I_D)$ of $R$ and with oplax monoidal transformation
given by the adjunct of
By the formula for adjuncts in terms of the adjunction counit (this prop.) this adjunct is the composite
This appears for instance on p. 17 of (SchwedeShipley).
oplax monoidal functor
The construction of oplax monoidal functors from right adjoint lax monoidal functors is considered for instance around page 17 of
Last revised on July 31, 2019 at 09:31:21. See the history of this page for a list of all contributions to it.