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