Working in an arbitrary category endowed with a fixed (E, M) -factorization system such that M is a fixed class of monomorphisms, we first define and study a concept of codense morphisms with respect to a given categorical ...