We know that for a topos $\ECat$ the embedding functor into the category $\ECat\Sub{p}$ of partial morphisms admits a right adjoint. This property can also be substituted for axiom (3) of 1.1 [0001].

We will describe a different embedding of interest below.