2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/101132This 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.28 pagesCategory TheoryLogic03F05, 03F52, 18D10, 18D15, 19D23text