Coherence for Star-Autonomous Categories
范畴论
2007-05-23 v2 逻辑
摘要
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.
引用
@article{arxiv.math/0503306,
title = {Coherence for Star-Autonomous Categories},
author = {K. Dosen and Z. Petric},
journal= {arXiv preprint arXiv:math/0503306},
year = {2007}
}
备注
28 pages