A morphism ${A}_{1},\cdots ,{A}_{n}\to B$ in a multicategory.

binary function, bilinear map, multilinear map

binary morphism, multimorphism

bifunctor