Contents

category theory

Contents

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;

References

On “functors of several variables”:

Created on July 22, 2022 at 13:03:38. See the history of this page for a list of all contributions to it.