| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662652 | Annals of Pure and Applied Logic | 2006 | 18 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
