理想情况下的确切类别
摘要：半阿贝尔范畴代数的非指向性对应物的发展简介：我们通过给出我们称之为理想精确范畴的等价定义，并展示这些范畴可以通过内在定义的理想来描述。本文的目的是引发一种对半阿贝尔范畴代数的非指向性对应物的新发展。作为一个工具，我们引入了本质零元单子的新概念，并展示了Bourn原模性条件使得笛卡尔单子成为本质零元。所有的半阿贝尔范畴、所有非平凡的Bourn原模变种的普适代数以及所有的余顶范畴都是理想精确的。
作者：George Janelidze
论文ID：2308.06574
分类：Category Theory
分类简称：math.CT
提交时间：2023-08-21