Coherence for Star-Autonomous Categories

Simple item page
dc.creatorDosen, K.
dc.creatorPetric, Z.
dc.date2005-03-15
dc.date2005-12-02
dc.date.accessioned2026-07-07T06:39:35Z
dc.date.available2026-07-07T06:39:35Z
dc.descriptionThis 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.
dc.description28 pages
dc.identifierhttps://arxiv.org/abs/math/0503306
dc.identifierhttp://arxiv.org/abs/math/0503306
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/101132
dc.subjectCategory Theory
dc.subjectLogic
dc.subject03F05, 03F52, 18D10, 18D15, 19D23
dc.titleCoherence for Star-Autonomous Categories
dc.typetext

Files

Collections

arXiv