Implication Details

Assumptions: coequalizer-preserving, conservative

Assumptions on source category: coequalizers

Conclusions: faithful

This implication has been dualized from this implication.