非指向上下文中的规范化器

多米尼克·伯恩

本文的目的是通过对非点上下文中归一化子存在性的研究，指出隐藏在归一化元存在背后的一种强烈的结构现象：给定任何E类，点\P_E:Pt（E）-->E的fibration的某种性质保证了归一化符的存在。当E是拟点和原模时，这个性质成为了这种存在性的一个特征。这个性质也被证明等价于E中内部群胚的范畴Grd E的一个性质，对于单态内函子，它几乎与综合因式分解的性质相反。

关键词：等价关系、等价类、正规子对象、正规化子、Mal'tsev和原模范畴、内部范畴和群胚、综合因式分解、非点加法范畴

2020年MSC：18A05、18B99、18E13、08C05、08A30、08A99

范畴理论与应用， 2024年第40卷，第2号，第32-62页。

发布日期：2024-03-22。

http://www.tac.mta.ca/tac/volumes/40/2/40-02.pdf