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

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

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