" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

НЕПРЕРЫВНЫЙ ФУНКТОР

Значение НЕПРЕРЫВНЫЙ ФУНКТОР в математической энциклопедии:

- синоним понятия "функтор, перестановочный с пределами". Пусть и - категории с пределами. Одноместный ковариант-ный функтор наз. непрерывным, если для любой диаграммы с произвольной малой схемой выполнено равенство .Более подробно последнее равенство означает следующее: если () - предел диаграммы J, причем - морфизмы, входящие в определение предела, то предел диаграммы . Функтор непрерывен тогда и только тогда, когда он перестановочен с произведениями любых семейств объектов и ядрами пар морфизмов. Всякий основной функтор из категории в категорию множеств непрерывен.

M. Ш. Цаленко.