- МНОГОМЕСТНЫЙ ФУНКТОР
мультифунктор,- функция от нескольких аргументов, определенная на категориях, принимающая значения в категории и задающая одноместный функтор по каждому аргументу. Более точно, пусть даны га категорий
,
Построим декартово произведение категорий
где каждая категория
либо совпадает с
, либо с дуальной категорией
Одноместный ковариантный функтор
из
со значениями в категории
наз. n-м естным функтором, заданным на категориях
со значениями в категории
. Функтор Fковариантен по тем аргументам, к-рые соответствуют множителям
в произведении
, и контравариантен по остальным аргументам.
Выпишем явно соотношения, к-рым должно удовлетворять отображение
(для простоты n=2 и первый аргумент считается контравариантным, а второй - ковариантным). Функтор
сопоставляет каждой паре объектов ( А, В), где
объект
и каждой паре морфизмов
, где
морфизм
При этом выполняются следующие условия:
1)
для любой пары объектов А, В;
2) если
то
Примеры М. ф.
1) Пусть
- категория с конечными произведениями. Тогда произведение побъектов можно рассматривать как re-местный ковариантный по всем аргументам функтор, определенный на декартовой степени
(праз) и принимающий значения в
. Аналогичные функторы можно построить для ко-произведений, тензорных произведений и т. д.
2) Пусть
- произвольная категория. Сопоставим каждой паре объектов А, В из
множество морфизмов
и каждой паре морфизмов
отображение множеств
заданное следующим образом:
если
Описанное построение задает двуместный функтор из
в категорию множеств, контравариантный по первому аргументу и ковариантный по второму.
Если
- аддитивная категория, то можно считать, что построенный функтор принимает значения в категории абелевых групп.
3) Пусть
- категория с конечными произведениями. Рассмотрим произведение как двуместный функтор
Тогда, комбинируя примеры 1) и 2), можно построить трехместные функторы
Первый функтор естественно эквивалентен функтору
. В случае категории множеств
второй функтор естественно эквивалентен функтору
4) Пусть
- малая категория и
- категория диаграмм над категорией множеств
со схемой
, т. е. категория одноместных ковариантных функторов и их естественных преобразований. Построим двуместный ковариантный по обоим аргументам функтор
то
; если
- естественное преобразование, то
Функтор Еназывают функтором "вычисления значений". Этот функтор естественно эквивалентен функтору
к-рый сопоставляет объекту
и функтору
множество естественных преобразований основного функтора
в
(лемма Ионеды).
М. Ш. Цаленко.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.