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. 
Robin Houston