×
皮尔雷·阿莱·雅克敏；祖拉布·詹利泽

关于线性精确性。 （英语） Zbl 1472.18002号

J.代数 583, 38-88 (2021).
作者详细阐述了他们引入的概念框架[P.-A.雅克明和Z.詹妮莉泽高级数学。377，文章ID 107484，第56页（2021；Zbl 1452.18005号)]. 在那里，基于素描的概念，发展了一种抽象形式主义，以抽象地描述一个小的有限完备范畴（mathbb{C}）的精确性性质，该范畴在预完成（co-filtered极限下的完成，由嵌入给出，\mathrm{Set}）^{op}）这里使用相同的形式来获得正则范畴的精确性质，这样，当范畴是代数范畴时，结果等价于相应代数理论中某些Mal'tsev项的存在。本文的主要特征定理（定理3.3）断言了适当的精确性条件与Mal'tsev项和方程在本质代数（因此局部有限可表示）正则范畴中的存在等价。该定理利用有限余完备正则范畴上的那些精确条件，在左Kan扩张的图像中，根据某种态射，将其重新定义为正则满态射（定理2.1）。
审核人：Panagis Karazeris（帕特拉）

引用于1审查
引用于三文件

MSC公司：

18岁30岁 极限和共线（乘积、和、有向极限、pushouts、纤维乘积、均衡器、核、端点和系数等）
第18页第13页 原模范畴、半贝拉范畴、马尔塞夫范畴
08B05号 等式逻辑，Mal'tsev条件
18E08型 常规类别、Barr-exact类别
03G30型 分类逻辑，拓扑
08A55号 部分代数
18立方30 草图和概述
18A40型 伴随函子（泛结构、反射子范畴、Kan扩张等）
18立方厘米 理论（例如代数理论）、结构和语义
18立方厘米 可访问和本地呈现的类别
18二氧化碳 等式范畴
08C05号机组 代数的范畴

关键词：

近似操作；本质代数范畴；精确性；线性Mal'tsev条件；矩阵性质；常规类别

引文：

Zbl 1452.18005号
PDF格式BibTeX公司 XML格式引用
\textit{P.-A.Jackmin}和\textit{Z.Janelidze}，J.代数583，38-88（2021；Zbl 1472.18002）
全文： 内政部

参考文献：

[1] 阿德梅克，J。；Herrlich，H。；罗西克？，J.，《基本等式范畴》，加利福尼亚州。白杨。盖姆。差异。猫。，29, 175-192 (1988) ·Zbl 0659.18010号
[2] 阿德梅克，J。；罗西克？，J.，《本地可展示和可访问类别》，伦敦。数学。Soc.，189（1994）·Zbl 0795.18007号
[3] 阿廷，M。；格罗森迪克，A。；Verdier，J.L.，《Bois Marie 1963-1964年的战略》，《拓扑与同调故事》（SGA4），施普林格-莱克特。数学笔记。，第269卷（1972）·Zbl 0234.00007号
[4] 巴尔，M。；Grillet，P.A。；van Osdol，D.H.，《滑轮的精确类别和分类》，Springer Lect。数学笔记。，第236卷（1971）·Zbl 0223.18009
[5] 巴尔，M。；Wells，C.，拓扑、三元组和理论，Grundlehren der Mathematischen Wissenschaften，第278卷（1985），Springer·Zbl 0567.18001号
[6] Borceux，F.，《范畴代数手册1》，Encycl。数学。申请。，第50卷（1994年），剑桥大学。按下·Zbl 0803.18001号
[7] Borceux，F。；Bourn Mal'cev原型模，D.，同调和半阿贝尔范畴，数学。申请。，第566卷（2004），Kluwer·Zbl 1061.18001号
[8] Bourn，D.，Mal'cev范畴和指向对象的模糊，应用。类别。结构。，4, 307-327 (1996) ·兹比尔0856.18004
[9] 伯恩，D。；Janelidze，G.，泛代数的原模变种的特征，理论应用。类别。，11, 143-147 (2003) ·Zbl 1021.08003号
[10] 伯恩，D。；Janelidze，Z.，近似Mal'tsev运算，理论应用。类别。，21, 152-171 (2008) ·Zbl 1172.18001号
[11] Buchsbaum，D.A.，精确范畴与对偶，Trans。美国数学。社会学，80，1-34（1955）·Zbl 0065.25502号
[12] Burmeister，P.，面向模型理论的部分代数方法；部分代数理论与应用导论第一部分，数学。研究，第32卷（1986年），Akademie-Verlag·Zbl 0598.08004号
[13] Carboni，A。；Kelly，G.M。；Pedicchio，M.C.，关于马尔采夫和古尔萨特类别的一些评论，Appl。类别。结构。，1, 385-421 (1993) ·Zbl 0799.18002号
[14] Carboni，A。；Lambek，J。；Pedicchio，M.C.，《Mal'cev类别中的图追踪》，J.Pure Appl。代数，69，271-284（1990）·Zbl 0722.18005号
[15] Carboni，A。；Pedicchio，M.C。；Pirovano，N.，《Mal'tsev范畴中的内部图和内部群胚》（Proc.Conf.Montreal 1991（1992）），97-109·Zbl 0791.18005号
[16] Carboni，A。；Pedicchio，M.C。；罗西克？，J.，各类局部可呈现范畴的句法特征，J.Pure Appl。代数，161，65-90（2001）·Zbl 0982.18006号
[17] 查达，I。；艾根泰勒，G。；Länger，H.，《普遍代数中的同余类》，数学研究博览会，第26卷（2003年），赫尔德曼·弗拉格：赫尔德曼·弗拉格·柏林·Zbl 1014.08001号
[18] Ehresmann，C.，Esquisses et types des structures algébriques，布尔。政治学会。伊阿什伊，14，1-14（1968）·Zbl 0196.03102号
[19] Freyd，P.，《阿贝尔分类》（1964），Harper&Row:纽约Harper&Row·Zbl 0121.02103号
[20] Freyd，P.，《地形方面》，公牛。澳大利亚。数学。《社会学杂志》，第7期，第1-76页（1972年）·Zbl 0252.18001号
[21] 加布里埃尔，P。；Ulmer，P.、Lokal präsenterbare kategorien、Springer Lect。数学笔记。，第221卷（1971）·兹比尔0225.18004
[22] Grothendieck，A.，Sur quelques points d’algèbre homologorique，Tóhoku Math。J.，9，119-221（1957）·Zbl 0118.26104号
[23] 哈格曼，J。；Mitschke，A.，关于n-置换同余，代数大学。，3, 8-12 (1973) ·Zbl 0273.08001号
[24] Hoefnagel，M.A.，多数类别，理论应用。类别。，34, 249-268 (2019) ·Zbl 1411.18002号
[25] Hoefnagel，文学硕士。；Janelidze，Z。；Rodelo，D.，《关于类关系的二重性》，代数大学。，81，第19条pp.（2020）·Zbl 1455.08001号
[26] Jackmin，P.-A.，《在非阿贝尔范畴代数中嵌入定理》（2016），卢万天主教大学，博士论文
[27] Jackmin，P.-A.，正则Mal'tsev范畴的嵌入定理，J.Pure Appl。代数，2221049-1068（2018）·Zbl 1401.18013号
[28] Jackmin，P.-A.，（弱）Mal’tsev范畴和矩阵条件的部分代数和嵌入定理，Cah。白杨。盖姆。差异。猫。，60, 365-403 (2019) ·Zbl 1431.18003号
[29] Jacqmin，P.-A，Janelidze矩阵条件的嵌入定理，J.Pure Appl。代数，224469-506（2020）·Zbl 1423.18012号
[30] Jacqmin，P.-A。；Janelidze，Z.，《关于pro-completion下精确性质的稳定性》，高等数学。，377，第107484条pp.（2021）·Zbl 1452.18005号
[31] Janelidze，Z.，具有正规局部投影的泛代数的种类，格鲁吉亚数学。J.，11，93-98（2004）·Zbl 1052.18007号
[32] Janelidze，Z.，减法类别，应用。类别。结构。，13443-350（2005年）·邮编1095.18002
[33] Janelidze，Z。，《内部关系的紧密性属性I：Mal'tsev、单位范畴和减法范畴的统一方法》，《理论应用》。类别。，16, 236-261 (2006) ·Zbl 1104.18002号
[34] Janelidze，Z.，内部关系的封闭性II：波恩局部化，理论应用。类别。，16, 262-282 (2006) ·Zbl 1104.18003号
[35] Janelidze，Z.，内部关系的封闭性V：线性Mal'tsev条件，代数宇宙。，58, 105-117 (2008) ·Zbl 1133.08002号
[36] Janelidze，Z.，《内部关系的封闭性性质VI：近似运算》，Cah。白杨。盖姆。差异。猫。，50, 298-319 (2009) ·邮编：1188.18002
[37] Jónsson，B.，同余格是分配的代数，数学。扫描。，21, 110-121 (1967) ·Zbl 0167.28401号
[38] Mac Lane，S.，Duality for groups，公牛。美国数学。《社会学杂志》，56，485-516（1950）·Zbl 0041.36306号
[39] Mal'tsev，A.I.，《关于代数系统的一般理论》，Mat.Sb。社会事务。，27125-142（1963），（俄语）；英文翻译：·Zbl 0128.02301号
[40] Makkai，M。；Pare，R.，《可访问类别：分类模型理论的基础》，当代数学，第104卷（1989年），美国数学学会·Zbl 0703.03042号
[41] Pedicchio，M.C.，算术范畴和换位子理论，应用。类别。结构。，4, 297-305 (1996) ·Zbl 0939.18005号
[42] Pixley，A.F.，代数等式类中同余关系的分布性和置换性，Proc。美国数学。《社会学杂志》，第14期，第105-109页（1963年）·Zbl 0113.24804号
[43] Reichel，H.，部分代数上的结构归纳；部分代数理论与应用导论第二部分，数学。研究，第18卷（1984），Akademie-Verlag·Zbl 0553.08002号
[44] 斯诺，J.W.，代数上的马尔采夫条件和关系，代数大学。，42, 299-309 (1999) ·Zbl 0979.08004号
[45] Taylor，W.，表征Mal'cev条件，代数大学。，3, 351-397 (1973) ·Zbl 0304.08003号
[46] Ursini，A.，《关于减法变体》，I，代数大学。，31, 204-222 (1994) ·Zbl 0799.08010号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。