Regular monomorphisms in

Let . Then is a embedding iff it is a Regular monomorphism. #m/thm/topology

Proof

#missing/proof See https://ncatlab.org/nlab/show/regular+monomorphism#Examples

#state/stub | #lang/en | #SemBr