equaliser
UK /ˈiː.kwəˌlaɪ.zə/US /ˈi.kwəˌlaɪ.zəɹ/
noun11
- A morphism whose codomain is the domain of a parallel pair of morphisms and which forms part of the limit of that parallel pair. Equivalently, a morphism which equalizes a parallel pair of morphisms in a limiting way, which is to say that any other morphism which equalizes that parallel pair factors through this limiting morphism; and moreover such factorization is unique.
forms
equalisers