Coherence in substructural categories
Studia Logica 70 (2):271 - 296 (2002)
| 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 | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesSidney R. Lehky (2005). Not All Categories Work the Same Way. Behavioral and Brain Sciences 28 (4):503-503.
Jiří Rosický (1997). Accessible Categories, Saturation and Categoricity. Journal of Symbolic Logic 62 (3):891-901.
C. Barry Jay (1989). A Note on Natural Numbers Objects in Monoidal Categories. Studia Logica 48 (3):389 - 393.
Jan Westerhoff (2004). The Construction of Ontological Categories. Australasian Journal of Philosophy 82 (4):595 – 620.
M. E. Szabo (1989). Coherence in Cartesian Closed Categories and the Generality of Proofs. Studia Logica 48 (3):285 - 297.
Abraham Zvie Bar-on (1987). The Categories and the Principle of Coherence: Whitehead's Theory of Categories in Historical Perspective. Distributors for the Usa and Canada, Kluwer Academic.
Colin McLarty (1991). Axiomatizing a Category of Categories. Journal of Symbolic Logic 56 (4):1243-1260.
Kosta Došen & Zoran Petrć (2006). Associativity as Commutativity. Journal of Symbolic Logic 71 (1):217 - 226.
Kosta Došen & Zoran Petrić (2002). Bicartesian Coherence. Studia Logica 71 (3):331 - 353.
Ken-etsu Fujita (1998). On Proof Terms and Embeddings of Classical Substructural Logics. Studia Logica 61 (2):199-221.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #201,837 of 549,070 )Recent downloads (6 months)1 ( #63,185 of 549,070 )How can I increase my downloads? |
My notes
Discussion
