Finite products are biproducts in a compact closed category
scientific article