Firstly - a point of confusion. The definition above says that quotient object requires a congruence, what is the one we should use here? I don't see a natural one, but I'm probably missing something obvious.
b. When the category is abelian, quotients can be replaced by subobjects. Is there a more precise condition?