CatDat

additive

A category is additive if it is preadditive and has finite products (equivalently, finite coproducts).

Relevant implications

Examples

Counterexamples

Unknown

For these categories the database has no info if they satisfy this property or not.