韩胜伟;长春夏;顾晓娟 在类别\（\mathbf中的半群上释放对象{密码}_\V形）。 （英语） Zbl 1448.06004号 理论应用。类别。 32, 1098-1106 (2017). 总结：众所周知，一个满足半格的所有（D）-理想的完备格（I_D（S））正是满足半格范畴中的（S）的内射壳。本文考虑半群的（sm）-理想，它可以看作是满足半格的（D）-理想的推广。不幸的是，一个半群的所有（sm）-理想的量子（mathcal R（S））通常不是（S）的内射壳。然而，\（\mathcal R（S）\）可以看作是\（S\）的一种新型量子补全。此外，我们可以看到\（mathcal R（S）\）也是类别\（mathbf）中\（S）上的自由对象{密码}_\具有分配连接同态的半群的vee。 引用于2文件 MSC公司： 05年6月 有序半群和幺半群 07年6月 Quantales公司 18B40码 群胚、半群胚、半群、群（视为范畴） 关键词：偏序半群;内射船体;量子的;量子完成;自由物体 PDF格式BibTeX公司 XML格式引用 \textit｛S.Han｝等人，理论应用。类别。321098--1106（2017；Zbl 1448.06004） 全文： EMIS公司 参考文献： [1] J.Ad´amek、H.Herrlich和G.E.Strecker（2004），《抽象与具体分类：猫的快乐》，威利，纽约·Zbl 0695.18001号 [2] G.Bruns，H.Lakser（1970），半格的内射壳。加拿大。数学。牛市。13, 115-118. ·Zbl 0212.03801号 [3] B.Eckmann和A.Schopf（1953年），《Uber injektive Moduln》。Mathematik档案馆4，75-78·Zbl 0050.25904号 [4] S.W.Han和B.Zhao（2008），有序半群的Quantale完备。Atac数学。中国Sinica Chin。序列号。51, 1081-1088. ·Zbl 1174.06334号 [5] D.Kruml和J.Paseka（2008），量子数的代数和范畴方面。代数手册，5，1-43·Zbl 1219.06016号 [6] 小娟谷长春下盛伟汉1106号 [7] J.Lambek、M.Barr、J.F.Kennison和R.Raphael（2012），部分有序幺半群的内射壳。理论应用。类别。26, 338-348. ·Zbl 1259.06019号 [8] D.Larchey-Wendling和D.Galmiche（2000），作为有序幺半群补足的量子数：直觉线性逻辑的修订语义。电子。注释Theor。计算。科学。35, 94-108. ·Zbl 0963.68101号 [9] K.I.Rosenthal（1990），Quantales及其应用。纽约朗曼科技公司·Zbl 0703.06007号 [10] C.C.Xia，B.Zhao和S.W.Han（2016），有序半群量子完备的一些进一步结果。提交给《数学学报》中文丛书。 [11] C.C.Xia、S.W.Han和B.Zhao（2017），关于半群内射壳的注释。理论应用。类别。7, 254-257. ·Zbl 1357.06014号 [12] X.Zhang，V.Laan（2014），针对半人种的注射性外壳。程序。美国东部时间。阿卡德。科学。63, 372-378. ·Zbl 1332.06047号 [13] 陕西师范大学数学系， [14] 中国西安710119 [15] 电子邮件：hansw@snnu.edu.cn xiachangchun@snnu.edu.cngxj−2886@163.com [16] 本文可访问网址：http://www.tac.mta.ca/tac/ [17] 类别理论与应用（ISSN 1201-561X）将传播对 [18] 能够推进范畴代数或方法的研究，或对数学作出重大新贡献的研究 [19] 使用分类方法的数学科学。该杂志的范围包括：纯范畴理论的所有领域， [20] 包括更高维度的类别；范畴理论在代数、几何和拓扑中的应用 [21] 其他数学领域；范畴理论在计算机科学、物理学和其他数学中的应用 [22] 科学；利用分类方法对科学知识的贡献。 [23] 杂志上出现的文章都是由 [24] 编辑委员会。只有被评为重要且优秀的论文才被接受出版。 [25] 期刊全文可从期刊服务器免费获取，网址为http://www.tac.mta.ca/tac/。它是 [26] 以电子方式和打印纸格式存档。 [27] 个人订阅者通过电子邮件收到文章摘要 [28] 出版。要订阅，请发送电子邮件至tac@mta.ca公司包括全名和邮政地址。对于机构 [29] 订阅，向总编辑Robert Rosebrugh发送查询，rrosebrugh@mta.ca。 [30] 作者信息期刊的排版语言为TEX，需要L A TEX2e。 [31] PDF格式的文章可以通过电子邮件直接提交给传输编辑。请获取详细信息 [32] 有关提交格式和样式文件的信息，请访问http://www.tac.mta.ca/tac/。 [33] 管理编辑。罗伯特·罗斯布鲁（Robert Rosebrugh），埃里森山大学（Mount Allison University）：rrosebrugh@mta.ca公司 [34] TEX NICAL编辑。迈克尔·巴尔，麦吉尔大学：barr@math.mcgill.ca公司 [35] 助理TEX编辑。加文·希尔，洛桑理工学院： [36] 加文seal@fastmail.fm [37] 传输编辑器。 [38] 克莱门斯·伯杰（Clemens Berger），圣索菲亚·安蒂波利斯大学：cberger@math.unice.fr [39] 理查德·布鲁特，渥太华大学：rblute@uottawa.ca [40] Lawrence Breen，巴黎大学13：breen@math.univ-paris13.fr [41] 罗纳德·布朗，北威尔士大学：ronnie.profbrown（at）btinternet.com [42] Valeria de Paiva：Nuance通信公司：valeria.depaiva@gmail.com [43] Ezra Getzler，西北大学：Getzler（at）northwest（dot）edu [44] 凯瑟琳·赫斯（Kathryn Hess），洛桑高等技术学院（Ecole Polytechnology F´ed´erale de Lousanne）：kathryn.hess@epfl.ch [45] 剑桥大学马丁·海兰德：M.Hyland@dpmms.cam.ac.uk [46] 安德斯·科克，奥胡斯大学：kock@imf.au.dk [47] 麦格理大学Stephen Lack：史蒂夫·拉克@mq.edu.au [48] F.William Lawvere，纽约州立大学布法罗分校：wlawvere@buffal.edu [49] 爱丁堡大学汤姆·伦斯特：Tom.Leinster@ed.ac.uk邮箱 [50] Ieke Moerdijk，乌得勒支大学：i.moerdijk@uu.nl [51] 苏珊·尼菲尔德，联合学院：niefiels@union.edu [52] Robert Parée，达尔豪西大学：pare@mathstat.dal.ca [53] 吉里·罗西基（Jiri Rosicky），马萨诸塞大学：rosicky@math.muni.cz [54] 朱塞佩·罗索里尼（Giuseppe Rosolini），热那亚大学：rosolini@disi.unige.it [55] 卢布尔雅那大学Alex Simpson：Alex.Simpson@fmf.uni-lj.si [56] 詹姆斯·斯塔舍夫，北卡罗来纳大学：jds@math.upenn.edu [57] 麦格理大学罗斯街：ross.street@mq.edu.au [58] Walter Tholen，约克大学：tholen@mathstat.yorku.ca [59] Myles Tierney，蒙特利尔大学：tierney.myles4@gmail.com [60] R.J.Wood，达尔豪西大学：rjwood@mathstat.dal邮箱 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。