A monoidal category is a category ${\displaystyle \mathbf {C} }$ equipped with a monoidal structure. A monoidal structure consists of the following:

• a bifunctor ${\displaystyle \otimes \colon \mathbf {C} \times \mathbf {C} \to \mathbf {C} }$ called the monoidal product,^[2] or tensor product,
• an object ${\displaystyle I}$ called the monoidal unit,^[2] unit object, or identity object,
• three natural isomorphisms subject to certain coherence conditions expressing the fact that the tensor operation:
  • is associative: there is a natural (in each of three arguments ${\displaystyle A}$, ${\displaystyle B}$, ${\displaystyle C}$) isomorphism ${\displaystyle \alpha }$, called associator, with components ${\displaystyle \alpha _{A,B,C}\colon A\otimes (B\otimes C)\cong (A\otimes B)\otimes C}$,
  • has ${\displaystyle I}$ as left and right identity: there are two natural isomorphisms ${\displaystyle \lambda }$ and ${\displaystyle \rho }$, respectively called left and right unitor, with components ${\displaystyle \lambda _{A}\colon I\otimes A\cong A}$ and ${\displaystyle \rho _{A}\colon A\otimes I\cong A}$.

Note that a good way to remember how ${\displaystyle \lambda }$ and ${\displaystyle \rho }$ act is by alliteration; Lambda, ${\displaystyle \lambda }$, cancels the identity on the left, while Rho, ${\displaystyle \rho }$, cancels the identity on the right.

The coherence conditions for these natural transformations are:

• for all ${\displaystyle A}$, ${\displaystyle B}$, ${\displaystyle C}$ and ${\displaystyle D}$ in ${\displaystyle \mathbf {C} }$, the pentagon diagram

commutes;

• for all ${\displaystyle A}$ and ${\displaystyle B}$ in ${\displaystyle \mathbf {C} }$, the triangle diagram

commutes.

A strict monoidal category is one for which the natural isomorphisms α, λ and ρ are identities. Every monoidal category is monoidally equivalent to a strict monoidal category.

• Any category with finite products can be regarded as monoidal with the product as the monoidal product and the terminal object as the unit. Such a category is sometimes called a cartesian monoidal category. For example:
  • Set, the category of sets with the Cartesian product, any particular one-element set serving as the unit.
  • Cat, the category of small categories with the product category, where the category with one object and only its identity map is the unit.
• Dually, any category with finite coproducts is monoidal with the coproduct as the monoidal product and the initial object as the unit. Such a monoidal category is called cocartesian monoidal
• R-Mod, the category of modules over a commutative ring R, is a monoidal category with the tensor product of modules ⊗_R serving as the monoidal product and the ring R (thought of as a module over itself) serving as the unit. As special cases one has:
  • K-Vect, the category of vector spaces over a field K, with the one-dimensional vector space K serving as the unit. K-FdVect (the category of finite-dimensional vector spaces) by extension fits under this.
  • Ab, the category of abelian groups, with the group of integers Z serving as the unit.
• For any commutative ring R, the category of R-algebras is monoidal with the tensor product of algebras as the product and R as the unit.
• The category of pointed spaces (restricted to compactly generated spaces for example) is monoidal with the smash product serving as the product and the pointed 0-sphere (a two-point discrete space) serving as the unit.
• The category of all endofunctors on a category C is a strict monoidal category with the composition of functors as the product and the identity functor as the unit.
• Just like for any category E, the full subcategory spanned by any given object is a monoid, it is the case that for any 2-category E, and any object C in Ob(E), the full 2-subcategory of E spanned by {C} is a monoidal category. In the case E = Cat, we get the endofunctors example above.
• Bounded-above meet semilattices are strict symmetric monoidal categories: the product is meet and the identity is the top element.
• Any ordinary monoid ${\displaystyle (M,\cdot ,1)}$ is a small monoidal category with object set ${\displaystyle M}$, only identities for morphisms, ${\displaystyle \cdot }$ as tensor product and ${\displaystyle 1}$ as its identity object. Conversely, the set of isomorphism classes (if such a thing makes sense) of a monoidal category is a monoid w.r.t. the tensor product.
• Any commutative monoid ${\displaystyle (M,\cdot ,1)}$ can be realized as a monoidal category with a single object. Recall that a category with a single object is the same thing as an ordinary monoid. By an Eckmann-Hilton argument, adding another monoidal product on ${\displaystyle M}$ requires the product to be commutative.

It follows from the three defining coherence conditions that a large class of diagrams (i.e. diagrams whose morphisms are built using ${\displaystyle \alpha }$, ${\displaystyle \lambda }$, ${\displaystyle \rho }$, identities and tensor product) commute: this is Mac Lane's "coherence theorem". It is sometimes inaccurately stated that all such diagrams commute.^{[citation needed]}

There is a general notion of monoid object in a monoidal category, which generalizes the ordinary notion of monoid from abstract algebra. Ordinary monoids are precisely the monoid objects in the cartesian monoidal category Set. Further, any (small) strict monoidal category can be seen as a monoid object in the category of categories Cat (equipped with the monoidal structure induced by the cartesian product).

Monoidal functors are the functors between monoidal categories that preserve the tensor product and monoidal natural transformations are the natural transformations, between those functors, which are "compatible" with the tensor product.

Every monoidal category can be seen as the category B(∗, ∗) of a bicategory B with only one object, denoted ∗.

The concept of a category C enriched in a monoidal category M replaces the notion of a set of morphisms between pairs of objects in C with the notion of an M-object of morphisms between every two objects in C.

For every category C, the free strict monoidal category Σ(C) can be constructed as follows:

• its objects are lists (finite sequences) A₁, ..., A_n of objects of C;
• there are arrows between two objects A₁, ..., A_m and B₁, ..., B_n only if m = n, and then the arrows are lists (finite sequences) of arrows f₁: A₁ → B₁, ..., f_n: A_n → B_n of C;
• the tensor product of two objects A₁, ..., A_n and B₁, ..., B_m is the concatenation A₁, ..., A_n, B₁, ..., B_m of the two lists, and, similarly, the tensor product of two morphisms is given by the concatenation of lists. The identity object is the empty list.

This operation Σ mapping category C to Σ(C) can be extended to a strict 2-monad on Cat.

• If, in a monoidal category, ${\displaystyle A\otimes B}$ and ${\displaystyle B\otimes A}$ are naturally isomorphic in a manner compatible with the coherence conditions, we speak of a braided monoidal category. If, moreover, this natural isomorphism is its own inverse, we have a symmetric monoidal category.
• A closed monoidal category is a monoidal category where the functor ${\displaystyle X\mapsto X\otimes A}$ has a right adjoint, which is called the "internal Hom-functor" ${\displaystyle X\mapsto \mathrm {Hom} _{\mathbf {C} }(A,X)}$. Examples include cartesian closed categories such as Set, the category of sets, and compact closed categories such as FdVect, the category of finite-dimensional vector spaces.
• Autonomous categories (or compact closed categories or rigid categories) are monoidal categories in which duals with nice properties exist; they abstract the idea of FdVect.
• Dagger symmetric monoidal categories, equipped with an extra dagger functor, abstracting the idea of FdHilb, finite-dimensional Hilbert spaces. These include the dagger compact categories.
• Tannakian categories are monoidal categories enriched over a field, which are very similar to representation categories of linear algebraic groups.

A preordered monoid is a monoidal category in which for every two objects ${\displaystyle c,c'\in \mathrm {Ob} (\mathbf {C} )}$, there exists at most one morphism ${\displaystyle c\to c'}$ in C. In the context of preorders, a morphism ${\displaystyle c\to c'}$ is sometimes notated ${\displaystyle c\leq c'}$. The reflexivity and transitivity properties of an order, defined in the traditional sense, are incorporated into the categorical structure by the identity morphism and the composition formula in C, respectively. If ${\displaystyle c\leq c'}$ and ${\displaystyle c'\leq c}$, then the objects ${\displaystyle c,c'}$ are isomorphic which is notated ${\displaystyle c\cong c'}$.

Introducing a monoidal structure to the preorder C involves constructing

• an object ${\displaystyle I\in \mathbf {C} }$, called the monoidal unit, and
• a functor ${\displaystyle \mathbf {C} \times \mathbf {C} \to \mathbf {C} }$, denoted by "${\displaystyle \;\cdot \;}$", called the monoidal multiplication.

${\displaystyle I}$ and ${\displaystyle \cdot }$ must be unital and associative, up to isomorphism, meaning:

${\displaystyle (c_{1}\cdot c_{2})\cdot c_{3}\cong c_{1}\cdot (c_{2}\cdot c_{3})}$ and ${\displaystyle I\cdot c\cong c\cong c\cdot I}$.

As · is a functor,

if ${\displaystyle c_{1}\to c_{1}'}$ and ${\displaystyle c_{2}\to c_{2}'}$ then ${\displaystyle (c_{1}\cdot c_{2})\to (c_{1}'\cdot c_{2}')}$.

The other coherence conditions of monoidal categories are fulfilled through the preorder structure as every diagram commutes in a preorder.

The natural numbers are an example of a monoidal preorder: having both a monoid structure (using + and 0) and a preorder structure (using ≤) forms a monoidal preorder as ${\displaystyle m\leq n}$ and ${\displaystyle m'\leq n'}$ implies ${\displaystyle m+m'\leq n+n'}$.

The free monoid on some generating set produces a monoidal preorder, producing the semi-Thue system.

• Skeleton (category theory)
• Spherical category
• Monoidal category action