Authors: Petrić, Zoran 
Affiliations: Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: Coherence in substructural categories
Journal: Studia Logica
Volume: 70
Issue: 2
First page: 271
Last page: 296
Issue Date: 1-Jan-2002
ISSN: 0039-3215
DOI: 10.1023/A:1015186718090
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.
Keywords: Categorial proof theory | Coherence | Substructural logics
Publisher: Springer Link
Project: Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics 

Show full item record

SCOPUSTM   
Citations

11
checked on Oct 2, 2022

Page view(s)

20
checked on Sep 15, 2022

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.