Implication Details

Claim: Given a functor whose domain has coequalizers, if it is conservative and preserves coequalizers, then it is faithful.

Proof: This follows from the dual implication.

This implication has a dual.