nLab multimorphism

Idea

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

Examples

Example

There is a multicategory Ab of abelian groups and multilinear maps between them. The bilinear maps are the binary morphisms, and the multilinear maps are the multimorphisms.

Related concepts

• binary function, bilinear map, multilinear map

• binary morphism, multimorphism

• bifunctor, multifunctor