代数逻辑
摘要：半Abel范畴的正常核和更一般的作用核，以及在同调范畴中的分裂扩展核的引入。我们证明，如果该范畴是拥有（小）联合的良定义的，那么分裂扩展核的存在与在点的纤维化中的基变换函子的几何性质是等价的。我们将满足这个条件的有限完备范畴称为代数logo。我们提供了一些这样的范畴的示例，并将其与代数上连续的范畴进行比较，研究了等价条件以及在常见范畴操作下的稳定性。
作者：D. Bourn, A. S. Cigoli, J. R. A. Gray, T. Van der Linden
论文ID：2112.08829
分类：Category Theory
分类简称：math.CT
提交时间：2023-07-26