A binary morphism is a morphism in a monoidal category out of a tensor product, or (more generally) a multimorphism in a multicategory of arity 2.
binary function, bilinear map, multilinear map
binary morphism, multimorphism
bifunctor, Quillen bifunctor