Finite products are biproducts in a compact closed category

If a compact closed category has finite products or finite coproducts then it in fact has finite biproducts, and so is semi-additive.