Hom(余)单子

引入Hom(余)单子,Hom-A上环等概念,给出了Hom(余)单子的例子以及构造Hom结合(余)单子的方法,得到了(B,m,e,α)为Hom-A环的一些等价条件,并且证明了下面的结论:设(T,G,η,):A→A是伴随对,则T是Hom单子等价于G是Hom余单子;T是Hom余单子等价于G是Hom单子.