Implication Details

Assumptions: thin

Conclusions: equalizers, left cancellative

Reason: Any two parallel morphisms are equal, so their equalizer is the identity, and every morphism is a monomorphism as well.