×
侯赛尼，S.N。;Yeganeh，L。

沿着可容许匹配重写部分回调补码。 （英语） 兹伯利1478.68114

西奥。计算。科学。 898, 149-179 (2022).
摘要：在本文中，我们首先根据拉回的存在性和某些态射的共普适性，给出了范畴中沿泛态射存在拉回补的两个等价准则。然后我们引入了可容许态射的概念，并利用基范畴中回拉补的存在性，刻画了沿可容许态射程的部分态射范畴中回拖补的存在；当基范畴是某个可容许范畴时。最后，我们对部分回拉补码重写与sesqui-pushout、双推出和单推出重写进行了比较，以获得可容许的匹配。

MSC公司：

2012年第68季度 语法和重写系统
18A30型 极限和共线（乘积、和、有向极限、pushouts、纤维乘积、均衡器、核、端点和系数等）
18B50型 广泛、分布和粘着类别

关键词：

回拉补码;共泛态射;容许态射;部分同构;粘合剂类别;广泛范畴;图形变换;图的重写
PDF格式BibTeX公司 XML格式引用
\textit{S.N.Hosseini}和\textit{L.Yeganeh}，Theor。计算。科学。898149-179（2022年；Zbl 1478.68114）
全文： 内政部

参考文献：

[1] 阿达梅克，J。；Herrlich，H。；Strecker，G.E.，《抽象和具体类别》（1990），John Wiley and Sons Inc.：John Willey and Sons Inc，纽约·Zbl 0695.18001号
[2] Bauderon，M.，通过回拉方法进行并行重写，Electron。注释计算。科学。，2（1995），SEGRAGRA'95年·Zbl 0910.68100号
[3] Bauderon，M.，《图形重写的统一方法，拉回方法》，（Nagl，Manfred，《计算机科学中的图论概念》，计算机科学中图论概念，WG’96。计算机科学中的图论概念。计算机科学中的图论概念，WG’96，LNCS，第1017卷（1997），Springer），101-115
[4] Carboni，A。；Lack，S。；Walters，R.F.C.，《广义与分布范畴导论》，《纯粹与应用代数杂志》，第84卷，145-158（1993），北荷兰·Zbl 0784.18001号
[5] 科拉迪尼，A。；海因德尔，T。；赫尔曼，F。；König，B.，Sesqui-pushout重写，（第三届图形变换国际会议（ICGT 06）。第三届图形变换国际会议（ICGT 06），计算机科学讲稿，第4178卷（2006），斯普林格出版社，30-45·Zbl 1156.68423号
[6] 科拉迪尼，A。；Montanari，美国。；罗西，F。；埃里格，H。；赫克尔，R。；Löwe，M.，图变换的代数方法，第一部分：基本概念和双推出方法，（Rozenberg，G.，《图语法和图变换计算手册》，第1卷：基础（1997），《世界科学》，第3章）
[7] Danos，V。；海因德尔，T。；Honorato-Zimmer，R。；Stucki，S.，可逆sesqui-pushout重写，（Giese，H.；König，B.，图形变换。图形变换，ICGT。图形变换。ICGT，计算机科学讲义，第8571卷（2014），Springer:Springer-Cham），161-176·Zbl 1423.68227号
[8] Dyckhoff，R。；Tholen，W.，可指数态射，偏积和回拉补数，J.Pure Appl。代数，49，103-116（1987）·Zbl 0659.18003号
[9] Ehrig，H。；埃梅尔，C。；美国戈拉斯。；Hermann，F.，《图形和模型转换，通用框架和应用》（2016），施普林格出版社
[10] Ehrig，H。；赫克尔，R。；科尔夫，M。；Löwe，M。；里贝罗，L。；瓦格纳。；Corradini，A.，图变换的代数方法。第二部分：单推出方法和与双推出方法的比较，（Rozenberg，G.，《图形语法和图形转换计算手册》，第1卷：基础（1997），《世界科学》），第4章
[11] Ehrig，H。；P挡泥板，M。；Schneider，H.，图语法：代数方法，（第14届IEEE开关与自动机理论研讨会论文集（1973）），167-180
[12] 赫克尔，R。；Ehrig，H。；美国沃尔特。；Corradini，A.，《图转换系统的双回拉转换和联合松散语义》，应用。类别。结构。，9, 83-110 (2001) ·Zbl 0970.68116号
[13] 侯赛尼，S.N。；Shir Ali Nasab，A.R.，部分态射范畴中的有限乘积，理论应用。类别。，302-314 (2014) ·Zbl 1304.18004号
[14] Kennaway，R.，部分态射中的图重写，（第四届图语法及其在计算机科学中的应用国际研讨会论文集，伯曼，1990年3月。第四届图形语法及其在计算机科学中的应用国际研讨会论文集，伯曼，1990年3月，计算机科学讲义（1991），施普林格出版社·Zbl 0765.68065号
[15] Lack，S。；Sobocinnski，P.，粘合剂和准粘合剂类别，Theor。通知。申请。，39, 2, 511-546 (2005) ·Zbl 1078.18010号
[16] Lack，S。；Sobocinnski，P.，Topose are adhesive，（图形变换。图形变换，计算科学讲义，第4178卷（2006），Springer:Springer Berlin），184-198·Zbl 1157.18303号
[17] Löwe，M.，单推出图变换的代数方法，Theor。计算。科学。，109, 181-224 (1993) ·Zbl 0787.18001号
[18] Löwe，M.，《span-categories中的图形重写》，（第五届图形变换国际会议（ICGT 10）。第五届图形变换国际会议（ICGT 10），《计算机科学讲义》，第6372卷（2010年），施普林格出版社，218-233·Zbl 1306.68081号
[19] 南卡罗来纳州Mac Lane。；Moerdijk，I.，《几何和逻辑中的滑轮，拓朴理论的首次介绍》（1992），Springer-Verlag，纽约公司·Zbl 0822.18001号
[20] Shir Ali Nasab，A.R。；侯赛尼，S.N.，《部分回缩补语重写》，Theor。计算。科学。，594, 44 (2015) ·Zbl 1328.68104号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。