nLab monoidal functor

Context

Monoidal categories

monoidal categories

Contents

Idea

A monoidal functor is a functor between monoidal categories that preserves the monoidal structure: a homomorphism of monoidal categories.

Definition

Definition

Let $(\mathcal{C},\otimes_{\mathcal{C}}, 1_{\mathcal{C}})$ and $(\mathcal{D},\otimes_{\mathcal{D}}, 1_{\mathcal{D}} )$ be two monoidal categories. A lax monoidal functor between them is

1. $F \;\colon\; \mathcal{C} \longrightarrow \mathcal{D} \,,$
2. a morphism

$\epsilon \;\colon\; 1_{\mathcal{D}} \longrightarrow F(1_{\mathcal{C}})$
3. $\mu_{x,y} \;\colon\; F(x) \otimes_{\mathcal{D}} F(y) \longrightarrow F(x \otimes_{\mathcal{C}} y)$

for all $x,y \in \mathcal{C}$

satisfying the following conditions:

1. (associativity) For all objects $x,y,z \in \mathcal{C}$ the following diagram commutes

$\array{ (F(x) \otimes_{\mathcal{D}} F(y)) \otimes_{\mathcal{D}} F(Z) &\underoverset{\simeq}{a^{\mathcal{D}}_{F(x),F(y),F(z)}}{\longrightarrow}& F(x) \otimes_{\mathcal{D}}( F(y)\otimes_{\mathcal{D}} F(z) ) \\ {}^{\mathllap{\mu_{x,y} \otimes id}}\downarrow && \downarrow^{\mathrlap{id\otimes \mu_{y,z}}} \\ F(x \otimes_{\mathcal{C}} y) \otimes_{\mathcal{D}} F(z) && F(x) \otimes_{\mathcal{D}} ( F(x \otimes_{\mathcal{C}} y) ) \\ {}^{\mathllap{\mu_{x \otimes_{\mathcal{C}} y , z} } }\downarrow && \downarrow^{\mathrlap{\mu_{ x, y \otimes_{\mathcal{C}} z }}} \\ F( ( x \otimes_{\mathcal{C}} y ) \otimes_{\mathcal{C}} z ) &\underset{F(a^{\mathcal{C}}_{x,y,z})}{\longrightarrow}& F( x \otimes_{\mathcal{C}} ( y \otimes_{\mathcal{C}} z ) ) } \,,$

where $a^{\mathcal{C}}$ and $a^{\mathcal{D}}$ denote the associators of the monoidal categories;

2. (unitality) For all $x \in \mathcal{C}$ the following diagrams commutes

$\array{ 1_{\mathcal{D}} \otimes_{\mathcal{D}} F(x) &\overset{\epsilon \otimes id}{\longrightarrow}& F(1_{\mathcal{C}}) \otimes_{\mathcal{D}} F(x) \\ {}^{\mathllap{\ell^{\mathcal{D}}_{F(x)}}}\downarrow && \downarrow^{\mathrlap{\mu_{1_{\mathcal{C}}, x }}} \\ F(x) &\overset{F(\ell^{\mathcal{C}}_x )}{\longleftarrow}& F(1 \otimes_{\mathcal{C}} x ) }$

and

$\array{ F(x) \otimes_{\mathcal{D}} 1_{\mathcal{D}} &\overset{id \otimes \epsilon }{\longrightarrow}& F(x) \otimes_{\mathcal{D}} F(1_{\mathcal{C}}) \\ {}^{\mathllap{r^{\mathcal{D}}_{F(x)}}}\downarrow && \downarrow^{\mathrlap{\mu_{x, 1_{\mathcal{C}} }}} \\ F(x) &\overset{F(r^{\mathcal{C}}_x )}{\longleftarrow}& F(x \otimes_{\mathcal{C}} 1 ) } \,,$

where $\ell^{\mathcal{C}}$, $\ell^{\mathcal{D}}$, $r^{\mathcal{C}}$, $r^{\mathcal{D}}$ denote the left and right unitors of the two monoidal categories, respectively.

If $\epsilon$ and all $\mu_{x,y}$ are isomorphisms, then $F$ is called a strong monoidal functor. (Note that ‘strong’ is also sometimes applied to ‘monoidal functor’ to indicate possession of a tensorial strength.)

Remark

In the literature often the term “monoidal functor” refers by default to what in def. 1 is called a strong monoidal functor. With that convention then what def. 1 calls a lax monoidal functor is called a weak monoidal functor.

Remark

Lax monoidal functors are the lax morphisms for an appropriate 2-monad.

Definition

An oplax monoidal functor (with various alternative names including comonoidal), is a monoidal functor from the opposite categories $C^{op}$ to $D^{op}$.

Definition

A monoidal transformation between monoidal functors is a natural transformation that respects the extra structure in an obvious way.

Properties

Observation

Lax monoidal functors send monoids to monoids.

If $F : (C,\otimes) \to (D,\otimes)$ is a lax monoidal functor and

$(A \in C,\;\; \mu_A : A \otimes A \to A, \; i_A : I \to A)$

is a monoid in $C$, then the object $F(A)$ is naturally equipped with the structure of a monoid in $D$ by setting

$i_{F(A)} : I_D \stackrel{}{\to} F(I_C) \stackrel{F(i_A)}{\to} F(A)$

and

$\mu_{F(A)} : F(A) \otimes F(A) \stackrel{\nabla_{F(A), F(A)}}{\to} F(A \otimes A) \stackrel{F(\mu_A)}{\to} F(A) \,.$

This construction defines a functor

$Mon(f) : Mon(C) \to Mon(D)$

between the categories of monoids.

Similarly, an oplax monoidal functor sends comonoids to comonoids.

Observation

For $(C,\otimes)$ a monoidal category write $\mathbf{B}C$ for the correspinding delooping 2-category.

Lax monoidal functor $f : C \to D$ correspond to lax 2-functor

$\mathbf{B}F : \mathbf{B}C \to \mathbf{B}D \,.$

If $F$ is strong monoidal then this is an ordinary 2-functor. If it is strict monoidal, then this is a strict 2-functor.

String diagrams

Just like monoidal categories, monoidal functors have a string diagram calculus; see these slides for some examples.

Revised on October 11, 2016 05:11:03 by David Corfield (51.6.72.106)