Многосвязная Область

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

категорий - понятие, аналогичное понятию многообразия универсальных алгебр. Пусть - бикатегория с произведениями. Полная подкатегория категории наз. Многообразием, если она удовлетворяет следующим условиям. А) если - допустимый мономорфизм и б) если - допустимый эпиморфизм и в) если . Если бикатегория локально мала слева, т. Е. Допустимые подобъекты любого объекта образуют множество, то всякое М. Является рефлективной подкатегорией категории . Это значит, что функтор вложения обладает сопря..

МНОГОУГО́ЛЬНИК -а. М. Геометрическая фигура, ограниченная ломаной линией, звенья которой образуют более четырёх углов. Правильный м. Сторона многоугольника.. ..

- см. Арифметический ряд.. ..