Implication Details

Assumptions: pointed, subobject classifier

Conclusions: normal

Reason: The universal property of $\top : 0 \to \Omega$ precisely says that every monomorphism $A \to B$ is the kernel of a unique morphism $B \to \Omega$ , so it is normal.