×
菲利波·邦奇;巴布亚州索波辛斯基;法比奥·扎纳西

相互作用的Hopf代数。 （英语） Zbl 1345.68229号

J.纯应用。代数 221、1号、144-184（2017）.
小结：我们介绍了理论{IH}（IH）_相互作用Hopf代数的{mathsf{R}}），参数化在主理想域上。\（\mathbb的公理{IH}（IH）_{mathsf{R}}）是使用Lack的方法构造PROP的：它们在四个不同的幺半-幺半群对上具有两个Hopf代数和两个Frobenius代数结构。这种结构有助于显示\（\mathbb{IH}（IH）_{\mathsf{R}}\）与\（\mathsf{R}\）分数域上线性关系（即子空间）的PROP同构。

引用于2评论
引用于19文件

理学硕士：

68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等）
16节第10节 双代数
18日第10天 单线、对称单线和编织线类别（MSC2010）

关键词：

等式理论;矩阵的跨度和上跨;相互作用Hopf代数;Frobenius代数;PROP公司;幺半-幺半对
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，J.Pure Appl。代数221，No.1，144--184（2017；Zbl 1345.68229）
全文： 内政部 arXiv公司 链接

参考文献：

[1] Abramsky，S。；Coecke，B.，量子协议的分类语义，（第19届IEEE计算机科学逻辑研讨会（LICS），论文集（2004））
[2] Backens，M.，《单量子比特Clifford+T群的ZX演算已经完成》（量子物理与逻辑第11次研讨会论文集，QPL（2014））·Zbl 1467.81025号
[3] Baez，J.C。；Erbele，J.，《控制中的类别》（2014年），技术代表
[4] Baez，J.C。；Stay，M.，《物理学、拓扑、逻辑和计算：罗塞塔石碑》（《物理学讲义》，第813卷（2011年）），95-174·Zbl 1218.81008号
[5] Bergman，G.，《每个人都知道霍普夫代数是什么》（Contemp.Math.，第43卷（1985年），Amer。数学。Soc.），25-48年·Zbl 0569.16005号
[6] 邦奇，F。；Gadducci，F。；基辛格，A。；索博辛斯基，P。；Zanasi，F.，重写模对称单体结构，（第31届IEEE计算机科学逻辑研讨会论文集，LICS（2016）），出版中，网址：·Zbl 1395.68162号
[7] 邦奇，F。；索博辛斯基，P。；Zanasi，F.，《信号流图的分类语义》（Concurrency Theory-25th International Conference，CONCUR.Proceedings（2014））·Zbl 1417.68119号
[8] Bonchi，F。；索博辛斯基，P。；Zanasi，F.，《交互双代数是Frobenius》（软件科学与计算结构基础第17届国际会议，FOSSACS，Proceedings（2014））·Zbl 1395.18009号
[9] Bonchi，F。；索博辛斯基，P。；Zanasi，F.，《信号流图的完全抽象》（第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL（2015））·Zbl 1346.68143号
[10] 布鲁尼，R。；拉内斯，我。；Montanari，U.，无状态连接符的基本代数，Theor。计算。科学。，366, 98-120 (2006) ·Zbl 1153.68331号
[11] 布鲁尼，R。；蒙塔纳里，美国。；Plotkin，G.D。；Terreni，D.，《关于层次图：调和二元图、gs-单体理论和gs-graphs》，Fundam。通知。，134, 3-4, 287-317 (2014) ·Zbl 1320.68125号
[12] Carboni，A。；Walters，R.F.C.，笛卡尔二分类I，J.Pure Appl。代数，49，11-32（1987）·Zbl 0637.18003号
[13] Cheng，E.，《迭代分配定律》，数学。程序。外倾角。菲洛斯。《社会学杂志》，150,3459-487（2011）·Zbl 1255.18004号
[14] 科克，B。；邓肯，R.，《相互作用的量子观测量：范畴代数和图解学》，《新物理学杂志》。，第13、4条，第043016页（2011年）·兹比尔1448.81025
[15] Cohen，H.，《计算代数数论课程》（1993），Springer-Verlag，纽约公司：Springer-Verlag，美国纽约公司·Zbl 0786.11071号
[16] 德维特，C.S。；Zamdzhiev，V.，量子力学中的ZX演算是不完整的，（第十一届量子物理与逻辑研讨会论文集，QPL（2014））·兹比尔1467.81028
[17] 邓肯，R。；Dunne，K.，《交互Frobenius代数是Hopf》，（第31届IEEE计算机科学逻辑研讨会论文集，LICS（2016）），出版社，网址：·Zbl 1392.68297号
[18] 菲奥雷，M.P。；Campos，M.D.，《有向无环图的代数》（Abramsky Festschrift，Abramsky-Festschricf，LNCS，第7860卷（2013））·兹比尔1264.18005
[19] 方，B。；Rapisarda，P。；Sobocinnski，P.，《开放和互联动力系统的分类方法》，（第31届IEEE计算机科学逻辑研讨会论文集，LICS（2016）），出版社，网址：·Zbl 1401.68134号
[20] Ghica，D.R.，《延迟敏感异步电路的图解推理》（Abramsky Festschrift，Abramsky-Festschricf，LNCS，第7860卷（2013））·Zbl 1264.94126号
[21] Hogben，L.，《线性代数、离散数学及其应用手册》（2006），Chapman&Hall/CRC
[22] Kelly，G.M。；Laplaza，M.L.，紧闭范畴的一致性，J.Pure Appl。代数，19，193-213（1980）·Zbl 0447.18005号
[23] Kleene，S.，《神经网络和有限自动机中事件的表示》（Autom.Stud.（1956）），3-42
[24] Lack，S.，撰写PROPs，理论应用。类别。，13, 9, 147-163 (2004) ·Zbl 1062.18007号
[25] Mac Lane，S.，范畴代数，布尔。美国数学。《社会学杂志》，71，40-106（1965）·Zbl 0161.01601号
[26] 麦克唐纳，B.R.，《交换环上的线性代数》（1984），马塞尔·德克尔：马塞尔·戴克尔纽约·Zbl 0556.13003号
[27] Milius，S.，《有限流电路的完善演算》（IEEE第25届计算机科学逻辑年会论文集，LICS（2010））
[28] 巴甫洛维奇，D.，《单面体计算机I：基于字符串图的基本可计算性》，Inf.Comput。，226, 94-116 (2013) ·Zbl 1317.68054号
[29] 佩德里克斯，S。；Wang，Q.，Clifford+T量子力学的ZX演算是不完整的，CoRR
[30] 罗斯布鲁，R。；Wood，R.J.，《单子形式理论II》，J.Pure Appl。代数，175，1327-353（2002）·Zbl 1023.18002号
[31] Rutten，J.J.M.M.，共导流微积分和信号流图教程，Theor。计算。科学。，343，3443-481（2005年）·Zbl 1077.68032号
[32] Selinger，P.，Dagger紧闭范畴和完全正映射：（扩展抽象），电子。注释Theor。计算。科学。，170, 139-163 (2007) ·Zbl 1277.18008号
[33] Selinger，P.，《单体范畴图形语言调查》（物理讲义，第13卷（813）（2011），Springer），289-355·Zbl 1217.18002号
[34] Street，R.，《单子的形式理论》，J.Pure Appl。代数，2，1，243-265（2002）·Zbl 1019.18002号
[35] Sweedler，M.，霍普夫代数（1969），W.A.Benjamin，Inc·Zbl 0194.32901号
[36] Zanasi，F.，《相互作用的Hopf代数：线性系统理论》（2015），里昂高等师范学院博士论文
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。