阿皮瓦特·昌塔维布尔;巴布亚州索波辛斯基 单体复用。 （英语） Zbl 1518.68198号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 116-131 (2018). 摘要：给定一个经典的代数结构，例如带有载波集（X）的幺半群或群，并给定一个正整数（n），通过定义所需的“逐点”运算，可以获得载波集（X^n）上相同的结构。对于资源敏感代数（即仅基于对称单体，而非笛卡尔结构），类似的“逐点”运算通常被定义为一种语法糖：例如，给定\（X\）上的共单元体结构，就可以得到\（X\otimes X\）的乘法通过张量两个乘法并用适当的排列组合。这是一个通用结构的具体示例，我们将其定义为多路复用。我们得到了一个一般定理，它保证在基本情况下成立的任何方程也适用于多重运算，从而推广了经典泛代数的“逐点”定义。关于整个系列，请参见[Zbl 1398.68027号]. 引用于1文件 MSC公司： 68问题55 计算理论中的语义学 08A70号 泛代数在计算机科学中的应用 2005年5月18日 单体范畴，对称单体范畴 关键词：字符串关系图;资源敏感性;对称单体范畴;道具 PDF格式BibTeX公司 XML格式引用 \textit{A.Chantawibul}和\textit{P.Sobocinn ski}，莱克托。注释计算。科学。11187116-131（2018年；Zbl 1518.68198） 全文： 内政部 链接