nLab
Ab-enriched category

Definition

An Ab-enriched category is a category enriched over the category Ab of abelian groups with its usual tensor product.

Sometimes Ab-enriched categories are called pre-additive categories, although sometimes that term also implies the existence of a zero object. They are also sometimes called ringoids, since the concept is a horizontal categorification (or ‘oidification’) of the concept of a ring.

Remarks

• Explicitly, the definition means that an Ab-enriched category is a category $C$ such that for all objects $a,b$ the hom-set ${\mathrm{Hom}}_C(a,b)$ is equipped with the structure of an abelian group; and such that for all triples $a$, $b$, $c$ of objects the composition operation ${\circ }_{a,b,c}:{\mathrm{Hom}}_C(a,b)\times {\mathrm{Hom}}_C(b,c)\to {\mathrm{Hom}}_C(a,c)$ is bilinear.

• There is a canonical forgetful functor $\mathrm{Ab}\to {\mathrm{Set}}_{*}$ from abelian groups to pointed sets, which sends each group to its underlying set with point being the neutral element. Using this functor every pre-additive category $C$ is in particular also a category that is enriched over pointed sets. This is sufficient for there to be a notion of zero morphism, kernel and cokernel in $C$.

• In general abelian categories are the most important examples of Ab-enriched categories. See additive and abelian categories.

Finite products are absolute

One of the remarkable facts about $\mathrm{Ab}$-enriched categories is that finite products (and coproducts) are absolute limits?. This implies that finite products coincide with finite coproducts, and are preserved by any Ab-enriched functor.

Zero objects

In an Ab-enriched category $C$, any initial object is also a terminal object, hence a zero object, and dually. An object $a\in C$ is a zero object just when its identity $1_a$ is equal to the zero morphism $0:a\to a$ (that is, the identity element of the abelian group ${\mathrm{hom}}_C(a,a)$). Expressed in this way, it is easy to see that any Ab-enriched functor preserves zero objects.

Biproducts

For $c_1,c_2\in C$ two objects in an Ab-enriched category $C$, the product $c_1\times c_2$ coincides with the coproduct $c_1\bigsqcup c_2$ when either exists. More precisely, when both exist, the canonical morphism

$$r:c_1\bigsqcup c_2\to c_1\times c_2$$r : c_1 \sqcup c_2 \to c_1 \times c_2

defined by

$$(c_i\to c_1\bigsqcup c_2\stackrel{r}{\to }{c}_1\times c_2\to c_j)=\{\begin{array}{cc}{\mathrm{Id}}_c{}_i& \mathrm{if}i=j\\ 0& \mathrm{if}i\ne j\end{array},$$\left( c_i \to c_1 \sqcup c_2 \stackrel{r}{\to} c_1 \times c_2 \to c_j \right) = \left\{ \array{ Id_c_i & if i = j \\ 0 & if i \neq j } \right. \,,

which exists whenever $c_1\bigsqcup c_2$ and $c_1\times c_2$ do, is an isomorphism. This object is called a biproduct or (sometimes) a direct sum and is generally denoted

$$c_1\oplus c_2.$$c_1 \oplus c_2.

It can be characterized diagrammatically as an object $c_1\oplus c_2$ equipped with morphisms $q_i:c_i\to c_1\oplus c_2$ and $p_i:c_1\oplus c_2\to c_i$ such that $p_i{q}_j={\delta }_{ij}$ and $q_1{p}_1+q_2{p}_2=1_{c_1\oplus c_2}$. Expressed in this form, it is clear that any Ab-enriched functor preserves biproducts.

Examples

• The category Ab is closed monoidal and hence canonically enriched over itself.

• An Ab-enriched category with one object is precisely a ring.

• For any small Ab-enriched category $R$, the enriched presheaf category $[R^{\mathrm{op}},\mathrm{Ab}]$ is, of course, Ab-enriched. If $R$ is a ring, as above, then $[R^{\mathrm{op}},\mathrm{Ab}]$ is the category of $R$-modules.

Blog resources

• John Baez, Ringoids