Bicartesian category

A monoidal category is called bicartesian iff its tensor product is a biproduct and its tensor unit is a zero object (both initial and terminal). #m/def/cat Thus it is both cartesian and cocartesian with a certain compatibility condition.