T-余单子可分的等价条件

文章类似于A-上环(coring)给出T-余单子(comonad)的一些性质(这里A是代数,T是单子(monad)).首先定义了实(firm)单子等相关概念,其次研究了与Frobenius函子等价的两个命题,最后给出了与余单子可分等价的五个命题.

余导子与余积分及其性质

根据余环上的余导子与余整合的定义及性质,给出了T-余单子上的余导子、余整合的定义,并在它们构成的阿贝尔群之间构造了一个同构关系;基于代数模理论的知识,在余环的余可分性质基础上刻画了余单子余可分、忘却函子可分与余积分存在之间的相互等价关系。