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
Every jointly functorial map defines a separately functorial map by defining the action as
On the other hand, there is not way to extend an arbitrary separately functorial map in this way to be jointly functorial. We can attempt to define
But note that for $n\geq 2$ this involves an arbitrary choice of which order to compose these actions, and this will only be a jointly functorial action if all such choices are equal. This can be stated as saying for any pair $i\leq j\leq n$ that
On “functors of several variables”:
Last revised on February 8, 2024 at 22:39:52. See the history of this page for a list of all contributions to it.