nLab
rigid monoidal category

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Context

Monoidal categories

monoidal categories

With symmetry

With duals for objects

With duals for morphisms

With traces

  • trace

  • traced monoidal category?

Closed structure

Special sorts of products

Semisimplicity

Morphisms

Examples

Theorems

In higher category theory

Contents

Idea

A rigid (monoidal) category, also called an autonomous (monoidal) category is a kind of category with duals. Specifically, all of its objects are dualisable on both the left and the right.

Definition

A monoidal category is rigid if every object has duals on both sides. If only one type of dual exists, we speak of left rigid (or left autonomous) or right rigid categories.

Conventions differ regarding which type of duals are which. One convention is as follows: a right dual of an object V in a monoidal category M is an object V * equipped with unit η:1→V *⊗V and counit maps ϵ:V⊗V *→1 satisfying the triangle identities (the snake diagrams), while a left dual is the dual notion. This convention fits in with the standardized conventions regarding adjoint functors: an endofunctor F:C→C has a right adjoint F *:C→C if and only if F * is a right dual of F in the monoidal category End(C).

Remarks

Note that this definition only asserts the existence of the dual objects. It does not assert that specific duals have been chosen. However, the choice of duals is unique up to unique isomorphism, justifying reference to ‘the’ dual of an object; in fact, this extends to a contravariant anafunctor *:M→M. (Using the axiom of choice to pick duals for every object at once, we can make this into a strict functor.)

Nor does this definition assert that the right dual of an object is isomorphic to its left dual: this need not be the case in general, though it is true in a braided monoidal category, and thus automatically also in a symmetric monoidal category. (A rigid monoidal category which is also symmetric is sometimes called compact closed or simply “compact”.)

In practice, algebraic geometers are the most frequent users of the term ‘rigid’, and they focus on the symmetric monoidal case, so they ignore the difference between right and left duals.

Properties

Tannaka duality

The statement of Tannaka duality for associative algebras says that rigid monoidal categories equipped with a fiber functor are categories of modules over a Hopf algebra.

Tannaka duality for categories of modules over monoids/associative algebras

monoid/associative algebracategory of modules
AMod A
R-algebraMod R-2-module
sesquialgebra2-ring = monoidal presentable category with colimit-preserving tensor product
bialgebrastrict 2-ring: monoidal category with fiber functor
Hopf algebrarigid monoidal category with fiber functor
hopfish algebra (correct version)rigid monoidal category (without fiber functor)
weak Hopf algebrafusion category with generalized fiber functor
quasitriangular bialgebrabraided monoidal category with fiber functor
triangular bialgebrasymmetric monoidal category with fiber functor
quasitriangular Hopf algebra (quantum group)rigid braided monoidal category with fiber functor
triangular Hopf algebrarigid symmetric monoidal category with fiber functor
form Drinfeld doubleform Drinfeld center
trialgebraHopf monoidal category

2-Tannaka duality for module categories over monoidal categories

monoidal category2-category of module categories
AMod A
R-2-algebraMod R-3-module
Hopf monoidal categorymonoidal 2-category (with some duality and strictness structure)

3-Tannaka duality for module 2-categories over monoidal 2-categories

monoidal 2-category3-category of module 2-categories
AMod A
R-3-algebraMod R-4-module

Revised on February 4, 2013 13:02:14 by Urs Schreiber (82.113.99.102)
Edit | Back in time (11 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: Day convolution, monoidal category, tensor product, symmetric monoidal category, braided monoidal category, multicategory, periodic table, cartesian monoidal category, k-tuply monoidal n-category, cartesian closed category, locally cartesian closed category, Crans-Gray tensor product, monoidal model category, pushout-product axiom, closed monoidal category, bialgebra, Hopf algebra, strict monoidal category, dagger-compact category, trace, dualizable object, string diagram, 2-vector space, compact closed category, k-tuply monoidal (n,r)-category, associative unital algebra, star-autonomous category, closed monoidal structure on presheaves, pure motive, exponential object, distributive category, monoidal (infinity,1)-category, symmetric monoidal (infinity,1)-category, fusion category, rigid monoidal category, semisimple category, 2009 May changes, modular tensor category, symmetric monoidal functor, quantum group, quasitriangular bialgebra, semicartesian monoidal category, 2009 September changes, cartesian bicategory, braided monoidal 2-category, 2-rig, tensor category, motive, monoidal functor, oplax monoidal functor, internal category in a monoidal category, coherence theorem for monoidal categories, tensor power, monoidal categories - contents, (infinity,n)-module, closed functor, monoidal bicategory, Tannaka duality, pivotal category, bicartesian closed category, finite quantum mechanics in terms of dagger-compact categories, Mod, compact double category, symmetric monoidal dagger-category, symmetric algebra, ribbon category, category with duals, twist, bimonoidal category, spherical category, C-star-category, monoid axiom in a monoidal model category, symmetric monoidal (infinity,n)-category, model structure on monoids in a monoidal model category, premonoidal category, cartesian functor, monoidal structure map, cartesian closed (infinity,1)-category, category of monoids, closed monoidal (infinity,1)-category, braided monoidal functor, Hopf adjunction, evaluation map, Frobenius monoidal functor, bilax monoidal functor, monoidal Quillen adjunction, Drinfel'd double, commutative monoid in a symmetric monoidal (infinity,1)-category, fully dualizable object, (infinity,n)-category with duals, Spanier-Whitehead duality, monoidal derivator, fiber functor, Picard group, contents of contents, sesquialgebra, Mac Lane's proof of the coherence theorem for monoidal categories, Schur function, Picard 3-group, cartesian closed functor, Deligne tensor product of abelian categories, symmetric multicategory, coherence theorem for symmetric monoidal categories, permutative category, bipermutative category, trialgebra, tensor product of modules, internal hom of chain complexes, tensr product of chain complexes, tensor product of chain complexes, tensor product of abelian groups, coherence theorem for braided monoidal categories, coherence theorem for monoidal bicategories, coherence theorem for braided monoidal bicategories, coherence theorem for symmetric monoidal bicategories, sylleptic monoidal 2-category, Picard 2-group, Picard infinity-group, hopfish algebra, cartesian monoidal (infinity,1)-category, triangular Hopf algebra, structure on algebras and their module categories - table, geometry of physics - modules, monoidal (2,1)-category, Hopf C-star-algebra, Drinfeld center, Hopf monoidal category