𝖳𝗈𝗉

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