Implication Details
Claim: If a category is subobject-trivial, then it has coreflexive equalizers and has reflexive coequalizers.
Proof: Any parallel pair of morphisms with a common section (or retraction) must be a pair of equal isomorphisms.
Claim: If a category is subobject-trivial, then it has coreflexive equalizers and has reflexive coequalizers.
Proof: Any parallel pair of morphisms with a common section (or retraction) must be a pair of equal isomorphisms.