Coherence for star-autonomous categories

&
Annals of Pure and Applied Logic 141 (1):225-242 (2006)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2005.11.003

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,270

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Coherence in linear predicate logic.Kosta Došen & Zoran Petrić - 2009 - Annals of Pure and Applied Logic 158 (1-2):125-153.
Associativity as Commutativity.Kosta Dǒsen & Zoran Petrić - 2006 - Journal of Symbolic Logic 71 (1):217 - 226.
Weak typed Böhm theorem on IMLL.Satoshi Matsuoka - 2007 - Annals of Pure and Applied Logic 145 (1):37-90.
Coherence via Focusing for Symmetric Skew Monoidal Categories.Niccolò Veltri - 2021 - In Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings. Springer Verlag. pp. 184-200.
Proof of a conjecture of S. Mac Lane.S. Soloviev - 1997 - Annals of Pure and Applied Logic 90 (1-3):101-162.
Medial commutativity.Kosta Došen & Zoran Petrić - 2007 - Annals of Pure and Applied Logic 146 (2):237-255.
Coherence in cartesian closed categories and the generality of proofs.M. E. Szabo - 1989 - Studia Logica 48 (3):285 - 297.
Coherence in SMCCs and equivalences on derivations in IMLL with unit.L. Mehats & Sergei Soloviev - 2007 - Annals of Pure and Applied Logic 147 (3):127-179.
Coherence in substructural categories.Zoran Petrić - 2002 - Studia Logica 70 (2):271 - 296.

Analytics

Added to PP
2013-12-31

Downloads
35 (#649,724)

6 months
7 (#722,178)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

A categorical semantics for polarized MALL.Masahiro Hamano & Philip Scott - 2007 - Annals of Pure and Applied Logic 145 (3):276-313.

Add more citations

References found in this work

Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–102.
The structure of multiplicatives.Vincent Danos & Laurent Regnier - 1989 - Archive for Mathematical Logic 28 (3):181-203.
A Brauerian representation of split preorders.Z. Petric & K. Dosen - 2003 - Mathematical Logic Quarterly 49 (6):579.
Generality of Proofs and Its Brauerian Representation.Kosta Došen & Zoran Petrić - 2003 - Journal of Symbolic Logic 68 (3):740 - 750.

Add more references