Coherence for Star-Autonomous Categories
Category Theory
2007-05-23 v2 Logic
Abstract
This paper presents a coherence theorem for star-autonomous categories exactly analogous to Kelly's and Mac Lane's coherence theorem for symmetric monoidal closed categories. The proof of this theorem is based on a categorial cut-elimination result, which is presented in some detail.
Cite
@article{arxiv.math/0503306,
title = {Coherence for Star-Autonomous Categories},
author = {K. Dosen and Z. Petric},
journal= {arXiv preprint arXiv:math/0503306},
year = {2007}
}
Comments
28 pages