Abstract Let $${\mathbb {A}}$$ A be a 2-category with suitable opcomma objects and pushouts. We give direct proof that, provided that the codensity monad of morphism p exists is preserved by morphism, factorization given lax descent object two-dimensional cokernel diagram up to isomorphism same as semantic , ...