nLab multifunctor

Idea

By a multifunctor one may mean:

1. a “functor of several variables”, namely a functor out of an iterated product category:

   $$\mathcal{C}_1 \times \cdots \times \mathcal{C}_n \longrightarrow \mathcal{D} \,,$$

   (this notion is the categorification of that of multifunction)

   e.g. if here $n = 2$ one may speak of a bifunctor;

2. a morphism of multicategories.

References

On “functors of several variables”:

• eom: Multi-functor