文章类似于A-上环(coring)给出T-余单子(comonad)的一些性质(这里A是代数,T是单子(monad)).首先定义了实(firm)单子等相关概念,其次研究了与Frobenius函子等价的两个命题,最后给出了与余单子可分等价的五个命题.
This paper gives some properties of T-comonads similar to A-corings(A is an algebra,T is a monad).First,it introduces some relative definitions of firm monad.Then it studies the equivalent propositions of Frobenius functors.Finally,it gives five equivalent propositions of separable T-comonads.