理想的精确类别

乔治·詹尼利泽

本文的目的是提出半贝叶斯范畴代数的一个新的非点对应项。然而，我们只是迈出了第一步，给出了我们所称的等价定义理想的精确类别，并表明这些类别允许通过内在定义的理想来描述商对象，尽管它们是非尖的。作为一种工具，我们引入了本质上为nullary monad并证明Bourn原模块条件使笛卡尔单子本质上为空。所有半贝拉范畴，所有非平凡的普适代数的伯恩原模变种，以及所有的余代数都是理想精确的。

关键词：理想精确范畴、半贝叶斯范畴、巴尔精确范畴、伯恩原模范畴、本质上的nullary单子、笛卡尔单子、理想

2020年MSC：18E13、18C15、18E08、08B99

范畴理论与应用， 2024年第41卷，第11号，第414-425页。

出版于2024-04-05。

http://www.tac.mta.ca/tac/volumes/41/11/41-11.pdf