Equalizers and coequalizers in C and Cᵒᵖ

We construct equalizers and coequalizers in the opposite categories.

instance CategoryTheory.Limits.hasEqualizers_opposite {C : Type u₁} [Category.{v₁, u₁} C] [HasCoequalizers C] : HasEqualizers Cᵒᵖ

instance CategoryTheory.Limits.hasCoequalizers_opposite {C : Type u₁} [Category.{v₁, u₁} C] [HasEqualizers C] : HasCoequalizers Cᵒᵖ