Implication Details
Assumptions: preserves coequalizers
Assumptions on source category: epi-regular
Conclusions: preserves epimorphisms
This implication has been dualized from this implication.
Assumptions: preserves coequalizers
Assumptions on source category: epi-regular
Conclusions: preserves epimorphisms
This implication has been dualized from this implication.