Finite Products are Biproducts in a Compact Closed Category
arXiv:math/0604542 · doi:10.1016/j.jpaa.2007.05.021
Abstract
If a compact closed category has finite products or finite coproducts then it in fact has finite biproducts, and so is semi-additive.
9 pages. Introduction further expanded, minor errors corrected
Cited by in corpus (9)
- Categories for the practising physicist
- Completely positive projections and biproducts
- When coproducts are biproducts
- Mackey functors on compact closed categories
- Generalised Proof-Nets for Compact Categories with Biproducts
- Concrete Foundations for Categorical Quantum Physics
- Constructing Fully Complete Models of Multiplicative Linear Logic
- Rewriting Graphically with Symmetric Traced Monoidal Categories
- Proceedings of the 10th International Workshop on Quantum Physics and Logic