By a multifunctor one may mean:
a “functor of several variables”, i.e., the categorification of the notion of a multifunction)
There are at least two ways to generalize the notion of a functor to the case where its domain may an n-tuple of categories:
which we discuss in turn.
In all of the following,
$C_1, \cdots, C_n$ denotes an $n$-tuple of categories serving as the multi-domain;
${\vert -\vert}$ denotes passage to the class of objects of a (strict) category.
A jointly functorial map from $C_1, \cdots, C_n$ to $D$ consists of:
a multifunction on objects
a morphism of the form
in $D$.
such that:
identity morphisms are preserved, in that
composition is respected, in thay
Such a jointly functorial map is the same as an ordinary functor out of the product category of the $n$-tuple of domain categories:
In the case $n = 1$ this is an ordinary functor, while for $n = 2$ this is a “bifunctor”. And if one understands multifunctions of zero arguments as functions out of the empty product of domain categories, which is the terminal category, then for $n = 0$ this is just a choice of object of $D$.
On the other hand, rather than requiring an “action” on morphisms from each domain category simultaneously, one may want to require an action of each domain category separately, which we could call separately functorial. I.e., a separately functorial map $\big(C_1,\ldots, C_n\big) \to D$ consists of:
A multifunction of objects
Such that for each domain category $C_i$, and objects $a_1,\ldots\widehat{a_i},\ldots, a_n$, the map $F(a_1,\ldots,\widehat {a_i},\ldots, a_n) \colon C_i \to D$ extends to a functor from $C_i$ to $D$.
This definition is instead equivalent to an ordinary functor out of the funny tensor product of the domain categories
For $n = 0$ and $n = 1$ this definition coincides with that of jointly functorial maps above, bu for $n \geq 2$ arguments it is different.
For more see also at funny tensor product – Separate functoriality
On “functors of several variables”:
Last revised on February 11, 2023 at 13:51:09. See the history of this page for a list of all contributions to it.