Coherence in substructural categories

Studia Logica 70 (2):271 - 296 (2002)
  Copy   BIBTEX

Abstract

It is proved that MacLane''s coherence results for monoidal and symmetric monoidal categories can be extended to some other categories with multiplication; namely, to relevant, affine and cartesian categories. All results are formulated in terms of natural transformations equipped with graphs (g-natural transformations) and corresponding morphism theorems are given as consequences. Using these results, some basic relations between the free categories of these classes are obtained.

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1015186718090

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,168

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 via Focusing for Symmetric Skew Monoidal Categories.Niccolò Veltri - 2021 - In Alexandra Silva, Renata Wassermann & Ruy de Queiroz, Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings. Springer Verlag. pp. 184-200.
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 for star-autonomous categories.Kosta Došen & Zoran Petrić - 2006 - Annals of Pure and Applied Logic 141 (1):225-242.
Coherence in linear predicate logic.Kosta Došen & Zoran Petrić - 2009 - Annals of Pure and Applied Logic 158 (1-2):125-153.
A note on natural numbers objects in monoidal categories.C. Barry Jay - 1989 - Studia Logica 48 (3):389 - 393.
The Maximality of Cartesian Categories.Z. Petric & K. Dosen - 2001 - Mathematical Logic Quarterly 47 (1):137-144.
The Sequent Calculus of Skew Monoidal Categories.Tarmo Uustalu, Niccolò Veltri & Noam Zeilberger - 2021 - In Claudia Casadio & Philip J. Scott, Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics. Springer Verlag. pp. 377-406.
Bicartesian coherence.Kosta Došen & Zoran Petrić - 2002 - Studia Logica 71 (3):331 - 353.

Analytics

Added to PP
2009-01-28

Downloads
149 (#160,293)

6 months
10 (#383,177)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Identity of proofs based on normalization and generality.Kosta Došen - 2003 - Bulletin of Symbolic Logic 9 (4):477-503.
A Brauerian representation of split preorders.Z. Petric & K. Dosen - 2003 - Mathematical Logic Quarterly 49 (6):579.
Cut Elimination in Categories.Kosta Došen - 1999 - Dordrecht, Netherland: Springer.
Generality of Proofs and Its Brauerian Representation.Kosta Došen & Zoran Petrić - 2003 - Journal of Symbolic Logic 68 (3):740 - 750.

Add more citations

References found in this work

Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.
Substructural Logics.Peter Schroeder-Heister - 1996 - Erkenntnis 45 (1):115-118.

Add more references