DC Field | Value | Language |
---|---|---|
dc.contributor.author | Došen, Kosta | en_US |
dc.contributor.author | Petrić, Zoran | en_US |
dc.date.accessioned | 2020-07-13T12:20:53Z | - |
dc.date.available | 2020-07-13T12:20:53Z | - |
dc.date.issued | 1997-01-01 | - |
dc.identifier.issn | 0960-1295 | - |
dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/3809 | - |
dc.description.abstract | This paper presents a new and self-contained proof of a result characterizing objects isomorphic in the free symmetric monoidal closed category, i.e., objects isomorphic in every symmetric monoidal closed category. This characterization is given by a finitely axiomatizable and decidable equational calculus, which differs from the calculus that axiomatizes all arithmetical equalities in the language with 1, product and exponentiation by lacking T = 1 and (a • b)c = ac • bc(the latter calculus characterizes objects isomorphic in the free cartesian closed category). Nevertheless, this calculus is complete for a certain arithmetical interpretation, and its arithmetical completeness plays an essential role in the proof given here of its completeness with respect to symmetric monoidal closed isomorphisms. | en_US |
dc.publisher | Cambridge University Press | en_US |
dc.relation.ispartof | Mathematical Structures in Computer Science | en_US |
dc.title | Isomorphic objects in symmetric monoidal closed categoriest | en_US |
dc.type | Article | en_US |
dc.identifier.doi | 10.1017/S0960129596002241 | - |
dc.identifier.scopus | 2-s2.0-0005441535 | - |
dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | en_US |
dc.relation.firstpage | 639 | - |
dc.relation.lastpage | 662 | - |
dc.relation.issue | 6 | - |
dc.relation.volume | 7 | - |
dc.description.rank | M22 | - |
item.cerifentitytype | Publications | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.openairetype | Article | - |
item.grantfulltext | none | - |
item.fulltext | No Fulltext | - |
crisitem.author.orcid | 0000-0003-2049-9892 | - |
SCOPUSTM
Citations
11
checked on Jun 1, 2024
Page view(s)
39
checked on May 9, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.