Implication Details
Assumptions: subobject-trivial
Conclusions: coreflexive equalizers, reflexive coequalizers
Proof: Any parallel pair of morphisms with a common section (or retraction) must be a pair of equal isomorphisms.
Assumptions: subobject-trivial
Conclusions: coreflexive equalizers, reflexive coequalizers
Proof: Any parallel pair of morphisms with a common section (or retraction) must be a pair of equal isomorphisms.