nLab multifunctor

Contents

Contents

Idea

By a multifunctor one may mean:

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

    𝒞 1××𝒞 n𝒟, \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=2n = 2 one may speak of a bifunctor;

  2. a morphism of multicategories.

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.