The Azimuth Project
2-Rig (changes)

Showing changes from revision #3 to #4: Added | Removed | Changed

Idea

A ring is a set equipped with two binary operations, addition and multiplication, where the addition makes the set a group, and the multiplication distributes over addition. A rig is nearly the same, but we don’t demand additive inverses. A 2-rig is a categorification of rigs, where we give a category a notion of addition and multiplication which obeys a distributive law. The thing which corresponds to addition is the existence of all small colimits, and the thing which corresponds to multiplication is a symmetric monoidal structure.

Definition

I think the word “2-rig” was first used in HDAIII.

A 2-rig is a symmetric monoidal cocomplet category for which the monoidal structure preserves small colimits in each argument.

Examples

  • Set\mathsf{Set}, the category of sets and functions is a 2-rig with its cartesian monoidal structure.

  • Vect\mathsf{Vect}, the category of vector spaces (over some chosen field) and linear maps is a 2-rig with tensor product giving the monoidal structure.

References