Implication Details

Assumptions: equalizers, subobject-trivial

Conclusions: thin

Reason: If f,g:X⇉Yf,g : X \rightrightarrows Y are morphisms, their equalizer is a monomorphism E↪XE \hookrightarrow X, hence an isomorphism. But this means f=gf = g.