Coherence in Substructural Categories

Author: Petri Z.

Source: Studia Logica, Volume 70, Number 2, March 2002 , pp. 271-296(26)

Publisher: Springer

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

Language: English

Document Type: Regular paper

Affiliations: 1: Mathematical Institute Knez Mihailova 35 P.O. Box 367 11001 Belgrade, Yugoslavia zpetric@mi.sanu.ac.yu

Publication date: 2002-03-01

• In this: publication
• By this: publisher
• In this Subject: Philosophy
• By this author: Petri Z.

Website © Publishing Technology. Article copyright remains with the publisher, society or author(s) as specified within the article.

• Terms and conditions
• Privacy policy
• Information for advertisers