#Отношение эквивалентности
Отношение эквивалентности
Тег

Отношение эквивалентности

Отношение эквивалентности
Найденo 4 статьи
Термины
Факторкатегория
Факторкатего́рия, конструкция, аналогичная конструкции фактормножества или факторалгебры. Пусть – произвольная категория, и в классе морфизмов задано отношение эквивалентности . Через обозначается класс эквивалентности морфизма . Факторкатегорией категории по отношению называется категория (обозначаемая ), у которой те же объекты, что и у , а для любой пары объектов множество морфизмов в состоит из классов эквивалентности , где в .
Математика