Cartesian isomorphisms are symmetric monoidal: A justification of linear logic

Authors
Dosen, K Petric, Z
Citation
K. Dosen et Z. Petric, Cartesian isomorphisms are symmetric monoidal: A justification of linear logic, J SYMB LOG, 64(1), 1999, pp. 227-242
Citations number
14
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF SYMBOLIC LOGIC
ISSN journal
00224812 → ACNP
Volume
64
Issue
1
Year of publication
1999
Pages
227 - 242
Database
ISI
SICI code
0022-4812(199903)64:1<227:CIASMA>2.0.ZU;2-5
Abstract
It is proved that all the isomorphisms in the cartesian category freely gen erated 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 t he same set of objects. This proof yields an algorithm for deciding whether an arrow in this free cartesian category is an isomorphism.