引入Hom（余）单子，Hom-A上环等概念，给出了Hom（余）单子的例子以及构造Hom结合（余）单子的方法，得到了（B，m，e，α）为Hom-A环的一些等价条件，并且证明了......