Многоместный Функтор

мультифунктор,- функция от нескольких аргументов, определенная на категориях, принимающая значения в категории и задающая одноместный функтор по каждому аргументу. Более точно, пусть даны га категорий , Построим декартово произведение категорий где каждая категория либо совпадает с , либо с дуальной категорией Одноместный ковариантный функтор из со значениями в категории наз. N-м естным функтором, заданным на категориях со значениями в категории . Функтор Fковариантен по тем аргументам, к-рые соответствуют множителям в произведении , и контравариантен по остальным аргументам. Выпишем явно соотношения, к-рым должно удовлетворять отображение (для простоты n=2 и первый аргумент считается контравариантным, а второй - ковариантным).

Функтор сопоставляет каждой паре объектов ( А, В), где объект и каждой паре морфизмов , где морфизм При этом выполняются следующие условия. 1) для любой пары объектов А, В. 2) если то Примеры М. Ф. 1) Пусть - категория с конечными произведениями. Тогда произведение побъектов можно рассматривать как re-местный ковариантный по всем аргументам функтор, определенный на декартовой степени (праз) и принимающий значения в . Аналогичные функторы можно построить для ко-произведений, тензорных произведений и т. Д. 2) Пусть - произвольная категория. Сопоставим каждой паре объектов А, В из множество морфизмов и каждой паре морфизмов отображение множеств заданное следующим образом. если Описанное построение задает двуместный функтор из в категорию множеств, контравариантный по первому аргументу и ковариантный по второму.

Если - аддитивная категория, то можно считать, что построенный функтор принимает значения в категории абелевых групп. 3) Пусть - категория с конечными произведениями. Рассмотрим произведение как двуместный функтор Тогда, комбинируя примеры 1) и 2), можно построить трехместные функторы Первый функтор естественно эквивалентен функтору . В случае категории множеств второй функтор естественно эквивалентен функтору 4) Пусть - малая категория и - категория диаграмм над категорией множеств со схемой , т. Е. Категория одноместных ковариантных функторов и их естественных преобразований. Построим двуместный ковариантный по обоим аргументам функтор то . Если - естественное преобразование, то Функтор Еназывают функтором "вычисления значений".

Этот функтор естественно эквивалентен функтору к-рый сопоставляет объекту и функтору множество естественных преобразований основного функтора в (лемма Ионеды). М. Ш. Цаленко..