Coherence for closed categories with biproducts
Category Theory
2022-03-29 v4
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.
Keywords
Cite
@article{arxiv.2001.09736,
title = {Coherence for closed categories with biproducts},
author = {Zoran Petric and Mladen Zekic},
journal= {arXiv preprint arXiv:2001.09736},
year = {2022}
}
Comments
17 pages, corrected typos