伪代数的码减和双余极限
摘要：在伪单子范畴的背景下，我们对单子理论的完整性结果进行分类。我们首先证明了一个一般性结果，即在任何二范畴中，加权双余极限可以通过自逆余极限和共实际对象的双等核构造出来。在对伪单子和它们的伪代数进行必要的准备之后，我们给出了一个二维的 Linton 定理，将伪代数的双完整性归结为共实际对象的双等核的存在性。最后，我们证明在一个双有限的伪单子的情况下，这个条件会被满足，从而保证了双完整性。
作者：Axel Osmond
论文ID：2204.06055
分类：Category Theory
分类简称：math.CT
提交时间：2023-02-15