\(\mathop{\mathrm{Hom}}_{\mathsf{C}}(\one, {-})\) is an exact functor, or one can lift along surjections.