📝Bifunctor

Bifunctor (short for binary functor) or functor of two variables is a Functor whose domain is the product of two categories.

For $C_1$, $C_2$ and $D$ categories, a functor $F : C_1 \times C_2 \to D$ is also called a bifunctor from $C_1$ and $C_2$ to $D$.

See also:

• Monoidal category—a category with a bifunctor and an identity object