# Contents

## Definition

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$.

Revised on September 1, 2012 10:16:19 by Toby Bartels (173.190.140.44)