Cartesian Isomorphisms are Symmetric Monoidal: A Justification of Linear Logic

Dosen, Kosta; Petric, Zoran

J. Symbolic Logic, Tome 64 (1999) no. 1, p. 227-242 / Harvested from Project Euclid

Résumé

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.

Publié le : 1999-03-14
Classification:

@article{1183745702,
     author = {Dosen, Kosta and Petric, Zoran},
     title = {Cartesian Isomorphisms are Symmetric Monoidal: A Justification of Linear Logic},
     journal = {J. Symbolic Logic},
     volume = {64},
     number = {1},
     year = {1999},
     pages = { 227-242},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745702}
}

Dosen, Kosta; Petric, Zoran. Cartesian Isomorphisms are Symmetric Monoidal: A Justification of Linear Logic. J. Symbolic Logic, Tome 64 (1999) no. 1, pp.  227-242. http://gdmltest.u-ga.fr/item/1183745702/