Факторобъект
объекта категории - понятие, частным случаем к-рого являются понятия фактормножества, факторгруппы, факторпространства и т. П. Пусть -нек-рый класс эпиморфизмов категории содержащий все тождественные морфизмы из и выдерживающий умножение справа на изоморфизмы. Другими словами, для любого и для всякого из и всякого из морфизм Морфизмы и из наз. Эквивалентными, если для нек-рого изоморфизма Класс эквивалентности морфизма наз. -факторобъектом объекта А, а пара -представителем этого Ф. Факторобъект с представителем иногда обозначается или просто Для каждого объекта Акласс всех его -факторобъектов непуст. В нем имеется несобственный Ф. [1A, L), остальные -факторобъекты этого класса собственные.
Категория наз. -локально малой справа, если для каждого объекта Аиз класс -факторобъектов является множеством. Если в качестве взять подкатегорию всех эпиморфизмов то -факторобъекты наз. Просто факторобъектами. Если в категории имеется бикатегорная структура то -факторобъекты наз. Допустимыми Ф. Аналогично, если состоит из всех регулярных (строгих, нормальных и т. П.) эпиморфизмов, то соответствующие Ф. Наз. Регулярными (нормальными, строгими и т п.). Напр. В категории топологич. Пространств факторпространства соответствуют регулярным Ф. Понятие Ф. Объекта категории дуально понятию подобъекта объекта категории. М. Ш. Цаленко.
Дополнительный поиск Факторобъект
На нашем сайте Вы найдете значение "Факторобъект" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Факторобъект, различные варианты толкований, скрытый смысл.
Первая буква "Ф". Общая длина 12 символа