When coproducts are biproducts
arXiv:1505.01669 · doi:10.1017/S0305004116000104
Abstract
Among right-closed monoidal categories with finite coproducts, we characterise those with finite biproducts as being precisely those in which the initial object and the coproduct of the unit with itself admit right duals. This generalises Houston's result that any compact closed category with finite coproducts admits biproducts.
4 pages; final journal version