??so consider geometric morphism induced by functor including localization morphisms among more general morphisms between fp commutative rings ??? ... and so forth ...

???more generally, what about image factorization of geometric morphism induced by functor??? ... and so forth ...

???hmm, isn't it something like ... ???full-and-faithful corresponds to "injective" here ??? ... or something ... ???....