equalizer in Portuguese

(category theory) 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.