Monic lifting-only strong morphisms are invertible
= Monic lifting-only strong morphisms are invertible
If $e:X\to Y$ is a <monomorphism> and has the <left lifting property against monomorphisms>, apply its property to the square with both vertical arrows $e$ and both horizontal arrows identities. The filler is a two-sided inverse, so $e$ is an <isomorphism>.