Implication Details
Claim: Given a functor whose domain has coequalizers, if it is conservative and preserves preserves coequalizers, then it is faithful.
Proof: This follows from the dual implication.
Claim: Given a functor whose domain has coequalizers, if it is conservative and preserves preserves coequalizers, then it is faithful.
Proof: This follows from the dual implication.