A morphism $A_1, \cdots, A_n \to B$ in a multicategory.

binary function, bilinear map, multilinear map

binary morphism, multimorphism

bifunctor