# mathlibdocumentation

A preadditive category C is called additive if it has all finite biproducts. See https://stacks.math.columbia.edu/tag/0104.