Title of article
Coherence for star-autonomous categories
Author/Authors
Do?en، نويسنده , , Kosta and Petri?، نويسنده , , Zoran، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
18
From page
225
To page
242
Abstract
This paper presents a coherence theorem for star-autonomous categories exactly analogous to Kelly 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.
Keywords
Symmetric monoidal closed categories , Star-autonomous categories , Cut elimination , Categorial coherence
Journal title
Annals of Pure and Applied Logic
Serial Year
2006
Journal title
Annals of Pure and Applied Logic
Record number
1443792
Link To Document