Википедия
Коуравнитель
Коуравнитель — теоретико-категорное обобщение понятия фактора по отношению эквивалентности . Это понятие двойственно к понятию уравнителя , отсюда и название.