Finite Biproduct

A finite biproduct in a Category $\mathcal{C}$ is an Indexed Biproduct over a Finite set.

Properties

• A category with a Zero Object and Binary Biproducts has all finite biproducts.