关于单子 Eilenberg-Moore 类别上的微分螺旋理论

设 $\mathcal C$ 为一个 Grothendieck 范畴，$U$ 为其上的一个保持余极限的_exact_ 单子。本文证明了关于单子 $U$ 的模块范畴上每个可传递螺旋理论都是微分的。进一步地，若 $\delta:U\longrightarrow U$ 为单子 $U$ 上的一个导数，则我们证明了 $U$ 模块 $M$ 上的每个 $\delta$ 导数唯一地可延拓至 $M$ 的商模块上的 $\delta$ 导数。