Rig category

In category theory, a rig category (also known as bimonoidal category or 2-rig) is a category equipped with two monoidal structures, one distributing over the other.

A rig category is given by a category ${\displaystyle \mathbf {C} }$ equipped with:

• a symmetric monoidal structure ${\displaystyle (\mathbf {C} ,\oplus ,O)}$
• a monoidal structure ${\displaystyle (\mathbf {C} ,\otimes ,I)}$
• distributing natural isomorphisms: ${\displaystyle \delta _{A,B,C}:A\otimes (B\oplus C)\simeq (A\otimes B)\oplus (A\otimes C)}$ and ${\displaystyle \delta '_{A,B,C}:(A\oplus B)\otimes C\simeq (A\otimes C)\oplus (B\otimes C)}$
• annihilating (or absorbing) natural isomorphisms: ${\displaystyle a_{A}:O\otimes A\simeq O}$ and ${\displaystyle a'_{A}:A\otimes O\simeq O}$

Those structures are required to satisfy a number of coherence conditions.^[1][2]

• Set, the category of sets with the disjoint union as ${\displaystyle \oplus }$ and the cartesian product as ${\displaystyle \otimes }$. Such categories where the multiplicative monoidal structure is the categorical product and the additive monoidal structure is the coproduct are called distributive categories.
• Vect, the category of vector spaces over a field, with the direct sum as ${\displaystyle \oplus }$ and the tensor product as ${\displaystyle \otimes }$.

Requiring all isomorphisms involved in the definition of a rig category to be strict does not give a useful definition, as it implies an equality ${\displaystyle A\oplus B=B\oplus A}$ which signals a degenerate structure. However it is possible to turn most of the isomorphisms involved into equalities.^[1]

A rig category is semi-strict if the two monoidal structures involved are strict, both of its annihilators are equalities and one of its distributors is an equality. Any rig category is equivalent to a semi-strict one.^[3]

• Rig category at the nLab

• v
• t
• e

Category theory

Key concepts

Key concepts Category Abelian Additive Concrete Pre-abelian Preadditive Bicategory Adjoint functors CCC Commutative diagram End Exponential Functor Kan extension Morphism Natural transformation Universal property Yoneda lemma Universal constructions Limits Terminal objects Products Equalizers Kernels Pullbacks Inverse limit Colimits Initial objects Coproducts Coequalizers Cokernels and quotients Pushout Direct limit Algebraic categories Sets Relations Magmas Groups Abelian groups Rings (Fields) Modules (Vector spaces) Constructions on categories Free category Functor category Kleisli category Opposite category Quotient category Product category Comma category Subcategory

Higher category theory

Key concepts Categorification Enriched category Higher-dimensional algebra Homotopy hypothesis Model category Simplex category String diagram Topos n-categories Weak n-categories Bicategory (pseudofunctor) Tricategory Tetracategory Kan complex ∞-groupoid ∞-topos Strict n-categories 2-category (2-functor) 3-category Categorified concepts 2-group 2-ring En-ring (Traced)(Symmetric) monoidal category n-group n-monoid

• Category
• Outline
• Glossary