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

binary function, bilinear map, multilinear map

binary morphism, multimorphism

bifunctor, multifunctor

Last revised on December 7, 2018 at 14:25:51. See the history of this page for a list of all contributions to it.