Let be a category with zero morphisms.
A biproduct of a finite collection of objects in is simultaneously a product and coproduct in a compatible way. cat
If and denote the product projections and coproduct inclusions respectively,
we require
for all .
A monoidal category whose tensor product is a binary biproduct is called a Bicartesian category.