Coherence for closed categories with biproducts
arXiv:2001.09736
Abstract
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.
17 pages, corrected typos