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). cat Thus it is both cartesian and cocartesian with a certain compatibility condition.
Examples
- Category of left modules under the Direct sum of modules.