CatDat

Implication Details

Assumptions: additive

Conclusions: biproducts

Reason: This is standard, see e.g. Prop. 2.1 on the nLab.