{“@context”：“https:\/\/schema.org\/”，“@type”：“ScholarlyArticle”，“@id”：“#article9521”，“name”：“（Co）关系的通用构造”，“抽象”：“字符串图的演算越来越多地用于表示各种电路族的语法和代数结构，包括信号流图、电路和量子过程。在许多这样的方法中，图的语义解释是根据关系或相关性（广义等价关系）给出的某种程度上。在本文中，我们展示了如何将关系和关联的语义范畴描述为简单范畴的连词。这种模块化的观点很重要，因为它简化了为字符串图的语义等价提供完整公理化的任务。此外，我们的一般结果统一了文献中独立发现的、与程序语义、量子计算和控制理论相关的各种定理。“，”keywords“：[”corelation“，”prop“，”string diagram“]，”author“：[{”@type“：”Person“，”name“：”Fong，Brendan“，”givenName“：”Brendan”，“familyName”：“Fong”}，{“@type”：“Person”，“name”：“Zanasi，Fabio”，“givenName”：，“dateCreated”：“2017-11-17”，“datePublished”：“2017年11月17日”，“isAccessibleForFree“：true，”license“：”https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode“，”copyrightHolder“：[{”@type“：”Person“，”name“：”Fong，Brendan“，”givenName“：”Brendan“2017”，“accessMode”：“文本”，“accessModeExclusive“：”textual“，”creativeWorkStatus“：”Published“，”inLanguage“：”en-US“，”sameAs“：”https:\/\/doi.org/10.4230\/LIPIcs“。CALCO.2017.12“，”publisher“：”Schloss Dagstuhl\u2013 Leibniz-Zentrum f\u00fcr Informatik“，”引文“：[”http://www.tac.mta.ca\/tac\/volumes\/30\/24\/30-24abs.html“，”https:\/\/arxiv.org\/abs\/1504.05625“，”http://\/dx.doi.org\/101007\/978-3662-44584-630“，”http://www.dx.doi..org \/10.1007\/978-3642-54830-7_23“，”http://\/dx.doi.org\/10.1145\/267726.2676993“，”http://\/dx.doi.org\/10.1016\/j.ic.2016.03.002“，”http://www.tac.mta.ca\/tac\/“卷\/32\/11\/32-11abs.html“，”https:\/\/arxiv.org\/abs\/1609.05382“，”http://\/arxiv.org\/abs\/1703.09888“，”http://\/dx.doi.org\/10.1145\/2933575.2934556“，”http://\/dx.doi.org\/10.1109\/LICS.2011.26“，”http://www.tac.mta.ca\/tac\/volumes\/13\/9\/13-09abs.html“5-11234-4“，“https:\/\/arxiv.org\/abs\/1703.01204”，“http://\/dx.doi.org\/10.1080\/00927877408548625”，“http://\\/dx.doi.org\/10.1016\/S0022-4049（02）00140-8“，”http://\\/dx.doi.org\/10.1137\/0205037“，”http:\\//dx.doi..org\/10.1007\/978-3642-12821-9_4“，”http://www.dx.doi.org\/10.016\/j.entcs.2016.09.046“]，“isPartOf”：{“@type”：“PublicationVolume”，“@id”：“#volume626”75“，”卷号“：72，”名称“：”第七届计算机科学代数与代数代数会议（CALCO 2017）“，”日期创建“：”2017-11-17“，”发布日期“：”2017年11月17日“，”编辑“：[{“@type”：“Person”，“name”：“Bonchi，Filippo”，“givenName”：“Filippa”，“familyName”：”Bonchi“}，{“@type”:“Person“，”名称“K\u00f6nig，Barbara”，”givenName“：”Barbara“，”familyName“：”K\u00 f6nig“}]，”isAccessibleForFree“：true，”publisher“：”Schloss Dagstuhl\u2013 Leibniz-Zentrum f\u00fcr Informatik“，”hasPart“：“#article9521”，”isPartOf“：{“@type”：“期刊”，”@id“：”#series116“，”name“：”Leibniz International Proceedings in Informatics“，”issn“：”1868-8969Schloss Dagstuhl\u2013莱布尼茨-泽特鲁姆f\u00fcr Informatik“，”hasPart“：”#volume6275“}}