Monic lifting-only strong morphisms are invertible

ID: monic-lifting-only-strong-morphisms-are-invertible

If is a monomorphism and has the left lifting property against monomorphisms, apply its property to the square with both vertical arrows and both horizontal arrows identities. The filler is a two-sided inverse, so is an isomorphism.

New to topics? Read the docs here!