Monoidal category

Encyclopedia : M : MO : MON : Monoidal category

---

In mathematics, a monoidal category (or tensor category) is a bicategory with one object. More explicitly, a monoidal category is a category [\mathbb C] equipped with a binary functor

[\otimes: \mathbb C\times\mathbb C\to\mathbb C]

called tensor, and a unit object [I].

A monoidal category must be equipped with three natural isomorphisms expressing the fact that the tensor operation should

• be associative: there is a natural isomorphism [\alpha], called associativity, with components

[\alpha_: (A\otimes B)\otimes C \to A\otimes(B\otimes C)],

have [I] as left and right identity: there are two natural isomorphisms [\lambda] and [\rho], respectively called left and right identity, with components

[\lambda_A: I\otimes A\to A]

and

[\rho_A: A\otimes I\to A].

These natural transformations are subject to certain coherence conditions. All the necessary conditions are implied by the following two: for all [A], [B], [C] and [D] in [\mathbb C], the diagrams

and

must commute.

It follows from these two conditions that any such diagram (i.e. a diagram whose morphisms are built using [\alpha], [\lambda], [\rho], identities and tensor product) commutes: this is Mac Lane's "coherence theorem". This is related to the fact that every monoidal category is monoidally equivalent to a strict (see below) monoidal category.

Monoidal categories are used to define models for the multiplicative fragment of intuitionistic linear logic. They also form the mathematical foundation for the topological order in condensed matter.

Strict monoidal categories

A monoidal category is said to be a strict monoidal category when the natural isomorphisms [\alpha], [\lambda] and [\rho] are identities.

For every category [\mathbb C], the free strict monoidal category [\Sigma(\mathbb C)] can be constructed as follows:

• its objects are lists (finite sequences) [A_1,\ldots, A_n] of objects of [\mathbb C],
• there are arrows between two objects [A_1,\ldots, A_n] and [B_1,\ldots, B_m] if and only if [n=m] and in this case the arrows are lists (finite sequences) of arrows [f_1:A_1\to B_1, \ldots, f_n:A_n\to B_n] of [\mathbb C],
• the tensor product of two objects [A_1,\ldots, A_n] and [B_1,\ldots, B_m] is the concatenation [A_1,\ldots, A_n, B_1,\ldots, B_m] of the two lists and similarly the tensor product of two morphisms is given by the concatenation of lists.

This operation [\Sigma] which to a category [\mathbb C] associates [\Sigma(\mathbb C)] can be extended into a strict 2-monad on [\textbf].

Examples

Any category with standard categorical products and a terminal object is a monoidal category, with the categorical product as tensor product and the terminal object as identity. Also, any category with coproducts and an initial object is a monoidal category - with the coproduct as tensor product and the initial object as identity. (In both these cases, the structure is actually symmetric monoidal.) However, in many monoidal categories (such as [R]-Mod, given below) the tensor product is neither a categorical product nor a coproduct.

Examples of monoidal categories, illustrating the parallelism between the category of vector spaces over a field and the category of sets, are given below.

[R]-Mod	Set
Given a field or commutative ring [R], the category [R]-Mod of [R]-modules (in the case of a field, vector spaces) is a symmetric monoidal category with product ⊗ and identity [R].	The category Set is a symmetric monoidal category with product × and identity .
A unital associative algebra is an object of [R]-Mod together with morphisms [\nabla:A\otimes A\rightarrow A] and [\eta: R \rightarrow A] satisfying	A monoid is an object M together with morphisms [\circ: M \times M \rightarrow M] and [1: \ \rightarrow M] satisfying
and	and
.	.
A coalgebra is an object C with morphisms [\Delta: C \rightarrow C \otimes C] and [\epsilon:C\rightarrow R] satisfying	Any object of Set, S has two unique morphisms [\Delta: S \rightarrow S \times S] and [\epsilon: S \rightarrow \] satisfying
and	and
.	.
	In particular, ε is unique because [\] is a terminal object.

See also

• Many monoidal categories have additional structure such as braiding, symmetry or closure: the references describe this in detail.
• Monoidal functors are the functors between monoidal categories which preserve the tensor product and monoidal natural transformations are the natural transformations, between those functors, which are "compatible" with the tensor product.
• There is a general notion of monoid object in a monoidal category, which generalizes the ordinary notion of monoid. In particular, a 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).

References

• Mac Lane, Saunders (1963). "Natural Associativity and Commutativity". Rice University Studies 49, 28–46.
• Kelly, G. Max (1964). "On MacLane's Conditions for Coherence of Natural Associativities, Commutativities, etc." Journal of Algebra 1, 397–402
• Joyal, André; Street, Ross (1993). "Braided Tensor Categories". Advances in Mathematics 102, 20–78.
• Mac Lane, Saunders (1997), Categories for the Working Mathematician (2nd ed.). New York: Springer-Verlag.

 

---

From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.

Search Titles

0

1

2

3

4

5

6

7

8

9

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

?