The goal of today’s post is to introduce and discuss semiadditive categories. Roughly speaking, these are categories in which one can add both objects and morphisms. Prominent examples include the abelian categories appearing in homological algebra, such as categories of sheaves and modules and categories of chain complexes.
Semiadditive categories display some interesting categorical features, such as the prominence of pairs of universal properties and the surprising ways in which commutative monoid structures arise, which seem to be underemphasized in textbook treatments and which I would like to emphasize here. I would also like to emphasize that their most important properties are unrelated to the ability to subtract morphisms which is provided in an additive category.
In this post, for convenience all categories will be locally small (that is, -enriched).