Coherence for star-autonomous categories

DC Field	Value	Language
dc.contributor.author	Došen, Kosta	en
dc.contributor.author	Petrić, Zoran	en
dc.date.accessioned	2020-04-12T18:10:34Z	-
dc.date.available	2020-04-12T18:10:34Z	-
dc.date.issued	2006-01-01	en
dc.identifier.issn	0168-0072	en
dc.identifier.uri	http://researchrepository.mi.sanu.ac.rs/handle/123456789/341	-
dc.description.abstract	This paper presents a coherence theorem for star-autonomous categories exactly analogous to Kelly and Mac Lane's coherence theorem for symmetric monoidal closed categories. The proof of this theorem is based on a categorial cut-elimination result, which is presented in some detail.	en
dc.publisher	Elsevier	-
dc.relation.ispartof	Annals of Pure and Applied Logic	en
dc.subject	Categorial coherence \| Cut elimination \| Star-autonomous categories \| Symmetric monoidal closed categories	en
dc.title	Coherence for star-autonomous categories	en
dc.type	Article	en
dc.identifier.doi	10.1016/j.apal.2005.11.003	en
dc.identifier.scopus	2-s2.0-33646598399	en
dc.contributor.affiliation	Mathematical Institute of the Serbian Academy of Sciences and Arts	-
dc.relation.firstpage	225	en
dc.relation.lastpage	242	en
dc.relation.issue	1-2	en
dc.relation.volume	141	en
dc.description.rank	M22	-
item.openairetype	Article	-
item.openairecristype	http://purl.org/coar/resource_type/c_18cf	-
item.cerifentitytype	Publications	-
item.grantfulltext	none	-
item.fulltext	No Fulltext	-
crisitem.author.orcid	0000-0003-2049-9892	-

2

checked on Apr 17, 2024

35

checked on Apr 16, 2024

Check