Implication Details
Assumptions: conservative, preserves coequalizers
Requirements of the source: coequalizers
Conclusions: faithful
This implication has been dualized from this implication.
Assumptions: conservative, preserves coequalizers
Requirements of the source: coequalizers
Conclusions: faithful
This implication has been dualized from this implication.