infix Hom