уравнитель

Уравнитель (также ядро разности) в теории категорий — обобщение понятия решения некоторого (алгебраического, дифференциального и т. п.) уравнения, то есть множества, на котором данные отображения совпадают. Двойственное уравнителю понятие — коуравнитель.