Cartesian isomorphisms are symmetric monoidal: A justification of linear logic
Journal of Symbolic Logic 64 (1):227-242 (1999)
| Abstract | It is proved that all the isomorphisms in the cartesian category freely generated by a set of objects (i.e., a graph without arrows) can be written in terms of arrows from the symmetric monoidal category freely generated by the same set of objects. This proof yields an algorithm for deciding whether an arrow in this free cartesian category is an isomorphism | |||||||||
| 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,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMarie-Renée Fleury & Myriam Quatrini (2007). A Mixed Λ-Calculus. Studia Logica 87 (2-3):269 - 294.
Kosta Došen & Zoran Petrić (2002). Bicartesian Coherence. Studia Logica 71 (3):331 - 353.
Kosta Došen & Zoran Petrić (2003). Generality of Proofs and its Brauerian Representation. Journal of Symbolic Logic 68 (3):740-750.
Katalin Bombó (2005). The Church-Rosser Property in Symmetric Combinatory Logic. Journal of Symbolic Logic 70 (2):536 - 556.
Paliath Narendran, Frank Pfenning & Richard Statman (1997). On the Unification Problem for Cartesian Closed Categories. Journal of Symbolic Logic 62 (2):636-647.
C. Barry Jay (1989). A Note on Natural Numbers Objects in Monoidal Categories. Studia Logica 48 (3):389 - 393.
Thomas Ehrhard (2004). A Completeness Theorem for Symmetric Product Phase Spaces. Journal of Symbolic Logic 69 (2):340 - 370.
Kosta Došen & Zoran Petrć (2006). Associativity as Commutativity. Journal of Symbolic Logic 71 (1):217 - 226.
Robert Paré & Leopoldo Román (1989). Monoidal Categories with Natural Numbers Object. Studia Logica 48 (3):361 - 376.
Zoran Petrić (2002). Coherence in Substructural Categories. Studia Logica 70 (2):271 - 296.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads2 ( #234,778 of 556,895 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
