# ๐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

## Backlinks

- ๐ Monoidal category
- ๐ ยง Category Theory