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.
Articles by others on the same topic
There are currently no matching articles.