Факторкатегория

124

конструкция, аналогичная конструкции фактормножества или факторалгебры. Пусть -произвольная категория, и в классе морфизмов Моrзадано отношение эквивалентности ~, удовлетворяющее следующим условиям. 1) если то начала и концы морфизмов и совпадают. 2) если п произведение определено, то Через обозначается класс эквивалентности морфизма Фактор категориeй категории по отношению ~ наз. Категория (обозначаемая у к-рой те же объекты, что и у а для любой пары объектов A, В множество морфизмов Н( А, В )в состоит из классов эквивалентности где в умножение морфизмов и определяется формулой (когда произведение определено). Всякая малая категория является Ф. Категории путей над подходящим ориентированным графом.

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

Значения в других словарях
Факторизационные Тождества

в теории случайных блужданий - система многопараметрич. Тождеств, устанавливающих связи между различными характеристиками случайного блуждания. В качестве характеристик здесь фигурируют т. Н. Граничные функционалы - случайные величины, связанные с достижением блужданием нек-рых границ, напр. Супремум блуждания, момент первого достижения этого супремума, величина первого перескока через уровень и т. Д. Название Ф. Т. Связано с тем, что их получение основано на факторизации - представлении функ..

Факторизация

в теории графов - разложение графа на непересекающиеся по ребрам остовные подграфы специального вида. В общем случае фактор есть остовный подграф, обладающий заданным свойством. Примером такого свойства является регулярность подграфа. Регулярный остовный подграф степени kназ. K-фактором. 1-фактор наз. Также совершенным паросочетанием. Граф наз. K- факторизуемым, если он может быть представлен как объединение своих непересекающихся по ребрам k-факторов. В теории графов рассматриваются вопросы ..

Факторкольцо

кольца Rпо идеалу I- факторгруппа аддитивной группы кольца Rпо подгруппе I с умножением (a + I)(b + I) = ab + I. Ф. Оказывается кольцом и обозначается R/I. Отображение где является сюръективным кольцевым гомоморфизмом, к-рый наз. Естественным (ср. Алгебраическая система). Важнейший пример Ф. Кольцо вычетов по модулю п- Ф. Кольца целых чисел по идеалу Элементами кольца можно считать числа {0, 1, ..., n-1}, где сумма и произведение определяются как остатки от деления обычных суммы и произ..

Факторное Отображение

- отображение f то пологич. Пространства Xна топологич. Пространство Y, при к-ром множество открыто в пространстве Yв том и только том случае, если его прообраз f-1v открыт в пространстве X. Если дацрэ отображение f топологич. Пространства Xна множество Y, то на Yсуществует сильнейшая топология (т. Е. Содержащая наибольшее число открытых множеств) среди всех топологий, по отношению к к-рым отображение f непрерывно. Топология состоит из всех множеств таких, что множество f-lvоткрыто в X. Топ..

Дополнительный поиск Факторкатегория Факторкатегория

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Факторкатегория" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Факторкатегория, различные варианты толкований, скрытый смысл.

Первая буква "Ф". Общая длина 15 символа