23S rRNA pseudouridine746 synthase

In mathematics, a ribbon category is a particular type of braided monoidal category.

Definition

A monoidal category $\mathcal{𝒞}$ is, loosely speaking, a category equipped with a notion resembling the tensor product (of vector spaces, say). That is, for any two objects $C_1,C_2\in \mathcal{𝒞}$, there is an object $C_1\otimes C_2\in \mathcal{𝒞}$. The assignment $C_1,C_2\mapsto C_1\otimes C_2$ is supposed to be functorial and needs to require a number of further properties such as a unit object 1 and an associativity isomorphism. Such a category is called braided if there are isomorphisms

$c_{C_1,C_2}:C_1\otimes C_2\stackrel{\cong }{\to }{C}_2\otimes C_1.$

A braided monoidal category is called a ribbon category if the category is rigid and has a family of twists. The former means that for each object $C$ there is another object (called the dual), $C^{*}$, with maps

$1\to C\otimes C^{*},C\otimes C^{*}\to 1$

such that the compositions

$C^{*}\cong C^{*}\otimes 1\to C^{*}\otimes (C\otimes C^{*})\cong (C^{*}\otimes C)\otimes C^{*}\to 1\otimes C^{*}\cong C^{*}$

equals the identity of $C^{*}$, and similarly with $C$. The twists are maps

$C\in \mathcal{𝒞}$, ${\theta }_C:C\to C$

such that

${\theta }_{C_1\otimes C_2}=c_{C_2,C_1}{c}_{C_1,C_2}({\theta }_{C_1}\otimes {\theta }_{C_2}).$

To be a ribbon category, the duals have to be compatible with the braiding and the twists in a certain way.

An example is the category of projective modules over a commutative ring. In this category, the monoidal structure is the tensor product, the dual object is the dual in the sense of (linear) algebra, which is again projective. The twists in this case are the identity maps. A more sophisticated example of a ribbon category are finite-dimensional representations of a quantum group.

The name ribbon category is motivated by a graphical depiction of morphisms.

Variant

A strongly ribbon category is a ribbon category C equipped with a dagger structure such that the functor †: C^op → C coherently preserves the ribbon structure.

References

• Samson Abramsky and Bob Coecke, A categorical semantics of quantum protocols, Proceedings of the 19th IEEE conference on Logic in Computer Science (LiCS'04). IEEE Computer Science Press (2004).
• Turaev, V.G.: Quantum Invariants of Knots and 3-Manifolds, de Gruyter, 1994
• Yetter, David N.: Functorial Knot Theory, World Scientific, 2001
• Template:Nlab