category_theory.limits.walking_parallel_pair

The type of objects for the diagram indexing a (co)equalizer.

category_theory.limits.walking_parallel_pair_hom

The type family of morphisms for the diagram indexing a (co)equalizer.