A binary morphism is a morphism in a monoidal category out of a tensor product, or (more generally) a multimorphism in a multicategory of arity $2$.
binary morphism, multimorphism
Last revised on September 1, 2012 at 10:16:19. See the history of this page for a list of all contributions to it.