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

binary function, bilinear map, multilinear map

binary morphism, multimorphism

bifunctor

Last revised on September 1, 2012 at 10:18:24. See the history of this page for a list of all contributions to it.