In mathematics, given a category C, a quotient of an object X by an equivalence relation is a coequalizer for the pair of maps
where R is an object in C and "f is an equivalence relation" means that, for any object T in C, the image (which is a set) of is an equivalence relation; that is, is in it if and only if is in it, etc.