A coherence result for symmetric monoidal closed categories with biproducts is shown in this paper. It is explained how to prove, by using the same technique, coherence for compact closed categories with biproducts and for dagger compact closed categories with dagger biproducts.

中文翻译：

---

具有双产品的封闭类别的一致性

本文显示了具有双乘积的对称幺半群闭类别的相干结果。解释了如何使用相同的技术证明具有双乘积的紧闭类别和具有匕首双乘积的匕首紧闭类别的相干性。