Implication Details

Conclusions: finitely complete, mono-regular

Reason: The first part holds by convention, and the second part: any monomorphism $U \to X$ is the equalizer of $\chi_U,\chi_X : X \to \Omega$ .