nLab 2-rig

Idea

The notion of $2$-rig is supposed to be a categorification of that of a rig. Several inequivalent formalizations of this idea are in the literature.

Just as a rig is a multiplicative monoid whose underlying set also has a notion of addition, so a $2$-rig is a monoidal category whose underlying category also has a notion of addition, and we can describe this notion of addition in a few different ways.

Note that we don't expect a $2$-rig to have additive inverses; by the same argument as in the Eilenberg swindle, they are unreasonable to expect. However, in a monoidal abelian category, we have as close to additive inverses as is reasonable and so a categorification of a ring.

Compare also the notion of rig category.

Definitions

Since categorification involves some arbitrary choices that will be determined by the precise intended application, there is a bit of flexibility of what exactly one may want to call a 2-ring. We first list some immediate possibilities of classes of monoidal and enriched categories that one may want to think of as 2-rings:

• Enriched monoidal categories

But a central aspect of an ordinary ring is the distributivity law which says that the product in the ring preserves sums. Since sums in a 2-ring are given by colimits, this suggests that a 2-ring should be a cocomplete category which is compatibly monoidal in that the the tensor product preserves colimits:

• Compatibly monoidal cocomplete categories

But there are still more properties which one may want to enforce, notably that homomorphisms of 2-rings form a 2-abelian group?. This is achieved by demanding the underlying category to be not just cocomplete by presentable:

• Compatibly monoidal presentable categories.

Enriched monoidal categories

1. A $2$-rig might be an Ab-enriched category which is enriched monoidal.

2. A $2$-rig might be an additive category which is enriched monoidal.

3. A $2$-rig might be a distributive monoidal category: a monoidal category with finite coproducts such that the monoidal product distributes over the coproducts.

4. A $2$-rig might be a closed monoidal category with finite coproducts.

5. Finally, a $2$-ring is a monoidal abelian category.

Note that (2) is a special case of both (1) and (3), which are independent. (4) is a special case of (3), by the adjoint functor theorem. (5) is a special case of (2), of course.

Compatibly monoidal cocomplete categories

In (Baez-Dolan) the following is considered:

Definition

A 2-rig is a monoidal cocomplete category where the tensor product respects colimits.

One can define braided and symmetric 2-rigs in this sense (and indeed, also in the other senses listed above). In particular, there is a 2-category $\mathbf{Symm2Rig}$ with:

• symmetric monoidal cocomplete categories where the monoidal product distributes over colimits as objects,

• symmetric monoidal cocontinuous functors as 1-morphisms,

• symmetric monoidal natural transformations as 2-morphisms.

Compatibly monoidal presentable categories

The following refines the above by demanding the underlying category of a 2-ring to be not just cocomplete but even a presentable category. This was motivated in (CJF, remark 2.1.10).

Definition

Write

$$2 Ab \in 2Cat$$

for the 2-category of presentable categories and colimit-preserving functors between them.

(CJF, def. 2.1.8)

Remark

By the adjoint functor theorem this is equivalently the 2-category of presentable categories and left adjoint functors between them.

Example

Given an ordinary ring $R$, its category of modules $Mod_R$ is presentable, hence may be regarded as a 2-abelian group.

(CJF, example 2.1.5)

Proposition

The 2-category $2Ab$ is a closed? symmetric monoidal 2-category with respect to the tensor product $\boxtimes \colon 2Ab \times 2Ab \to 2Ab$ such that for $A,B, C \in 2Ab$, $Hom_{2Ab}(A \boxtimes B, C)$ is equivalently the full subcategory of functor category $Hom_{Cat}(A \times B, C)$ on those that are bilinear in that they preserve colimits in each argument separately.

See also at Pr(∞,1)Cat for more on this.

Example

For $\mathcal{C}$ a small category, the category of presheaves $Set^{\mathcal{C}}$ is presentable and

$$Set^{\mathcal{C}_1} \boxtimes Set^{\mathcal{C}_2} \simeq Set^{\mathcal{C}_1 \times \mathcal{C}_2} \,.$$

Example

For $R$ a ring the category of modules $Mod_R$ is presentable and

$$Mod_{R_1} \boxtimes Mod_{R_2} \simeq Mod_{R_1 \otimes R_2} \,,$$

(CJF, example 2.2.7)

Proposition

For $R_1, R_2$ two rings, the category of 2-abelian group homomorphisms between the categories of modules is naturally equivalent to that of $R_1$-$R_2$-bimodules and their intertwiners:

$$(-)\otimes (-) \;\colon\; {}_{R_1}Mod_{R_2} \stackrel{\simeq}{\to} Hom_{2Ab}(Mod_{R_1}, Mod_{R_2}) \,.$$

The equivalence sends a bimodule $N$ to the functor given by the tensor product over $R_1$:

$$(-) \otimes N \;\colon\; Mod_{R_1} \to Mod_{R_2} \,.$$

This is the Eilenberg-Watts theorem.

Definition

Write

$$2Ring \in 2Cat$$

for the 2-category of monoid objects internal to $2 Ab$. An object of this 2-category we call a 2-ring.

Equivalently, a 2-ring in this sense is a presentable category equipped with the structure of a monoidal category where the tensor product preserves colimits.

(CJF, def. 2.1.8)

Example

The category Set with its cartesian product is a 2-ring and it is the initial object in $2Ring$.

(CJF, example 2.3.4)

Example

The category Ab of abelian groups with its standard tensor product of abelian groups is a 2-ring.

Example

For $R$ an ordinary commutative ring, $Mod_R$ equipped with its usual tensor product of modules is a commutative 2-ring.

Example

For $R$ an ordinary ring and $Mod_R$ its ordinary category of modules, regarded as a 2-abelian group by example , the structure of a 2-ring on $Mod_R$ is equivalently the structure of a sesquiunital sesquialgebra on $R$.

If $R$ is in addition a commutative ring that $Mod_R$ is a commutative 2-ring and is canonically an $Ab$-2-algebra in that

$$Ab \simeq Mod_{\mathbb{Z}} \to Mod_R \,.$$

(CJF, example 2.3.7)

Definition

For $A$ a 2-ring, def. , write

$$2Mod_A \in 2Cat$$

for the 2-category of module objects over $A$ in $2Ab$.

This means that a 2-module over $A$ is a presentable category $N$ equipped with a functor

$$A \boxtimes N \to N$$

which satisfies the evident action property.

(CJF, def. 2.3.3)

Example

Let $R$ be an ordinary commutative ring and $A$ an ordinary $R$-algebra. Then by example $Mod_A$ is a 2-abelian group and by example $Mod_R$ is a commutative ring. By example $Mod_R$-2-module structures on $Mod_A$

$$Mod_R \boxtimes \Mod_A \to Mod_A$$

correspond to colimit-preserving functors

$$Mod_{R \otimes_{\mathbb{Z}} A} \to Mod_{A}$$

that satisfy the action property. Such as presented under the Eilenberg-Watts theorem, prop. , by $R \otimes_{\mathbb{Z}} A$-$A$ bimodules. $A$ itself is canonically such a bimodule and it exhibits a $Mod_R$-2-module structure on $Mod_A$.

Properties

Initial object

Remark

The analog role in 2-rigs to the role played by the natural numbers among ordinary rigs should be played by the standard categorification of the natural numbers: the category of finite sets. One is therefore inclined to demand that a reasonable definition of 2-rigs should be such that $FinSet$ is the initial object (in the suitably higher categorical sense) in the 2-category of 2-rigs.

For the notion in def. this was conjectured by John Baez, for the notion in def. this is asserted in (Chirvasitu & Johnson-Freyd, example 2.3.4).

Tannaka duality

Tannaka duality for categories of modules over monoids/associative algebras

monoid/associative algebra	category of modules
$A$	$Mod_A$
$R$-algebra	$Mod_R$-2-module
sesquialgebra	2-ring = monoidal presentable category with colimit-preserving tensor product
bialgebra	strict 2-ring: monoidal category with fiber functor
Hopf algebra	rigid monoidal category with fiber functor
hopfish algebra (correct version)	rigid monoidal category (without fiber functor)
weak Hopf algebra	fusion category with generalized fiber functor
quasitriangular bialgebra	braided monoidal category with fiber functor
triangular bialgebra	symmetric monoidal category with fiber functor
quasitriangular Hopf algebra (quantum group)	rigid braided monoidal category with fiber functor
triangular Hopf algebra	rigid symmetric monoidal category with fiber functor
supercommutative Hopf algebra (supergroup)	rigid symmetric monoidal category with fiber functor and Schur smallness
form Drinfeld double	form Drinfeld center
trialgebra	Hopf monoidal category

2-Tannaka duality for module categories over monoidal categories

monoidal category	2-category of module categories
$A$	$Mod_A$
$R$-2-algebra	$Mod_R$-3-module
Hopf monoidal category	monoidal 2-category (with some duality and strictness structure)

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

monoidal 2-category	3-category of module 2-categories
$A$	$Mod_A$
$R$-3-algebra	$Mod_R$-4-module

Related concepts

• 2-algebraic geometry

• A further slight variant of compatibly monoidal cocomplete categories is that of monoidal vectoids.

• distributivity for monoidal structures

• prime spectrum of a monoidal stable (∞,1)-category

References

The proposal that a 2-ring should be a compatibly monoidal cocomplete category is due to

• John Baez, James Dolan, Higher-dimensional algebra III: $n$-categories and the algebra of opetopes, Adv. Math. 135 (1998), 145-206. (arXiv)

The proposal that a 2-ring should be a compatibly monoidal presentable category is due to

• Alexandru Chirvasitu, Theo Johnson-Freyd, The fundamental pro-groupoid of an affine 2-scheme, Applied Categorical Structures, Vol 21, Issue 5 (2013), pp. 469–522. (DOI, arXiv:1105.3104)

see also

• Martin Brandenburg, Tensor categorical foundations of algebraic geometry (arXiv:1410.1716)

This is related to

• Jacob Lurie, Tannaka duality for geometric stacks.

A similar notion is that of “monoidal vectoid” due to

• Nikolai Durov, Classifying vectoids and generalisations of operads, Proc. of Steklov Inst. of Math. 273:1, 48-63 (2011) arxiv/1105.3114), the translation of “Классифицирующие вектоиды и классы операд”, Trudy MIAN, vol. 273

The role of presentable categories as higher analogs abelian groups in the context of (infinity,1)-categories have been made by Jacob Lurie, see at Pr(infinity,1)Cat.

Another, more algebraic, notion of a categorical ring is introduced in

• M. Jibladze , T. Pirashvili, Third Mac Lane cohomology via categorical rings, J. of homotopy and related structures, 2(2), 2007, 187–221 pdf math.KT/0608519