??? injection/surjection factorization for geometric morphism .... ??? similarly for AG morphism ??? ....

?? confusion about various contrasting doctrine analogies here ??? ..... and various ..... ?? factorization systems ??? .... ??? relationship ... ???.....

?? reflection property of one adjoint vs what of other ???? ..... ???

?? "flatness of localization" ... ?? ... ?? generalize ... ???

?? grothendieck topology vs more general .... ????? (bit about generalized sheaves over canonical non-distributive or canonical non-modular lattice .... ??? ....)

?? snow-globe and exponentiation .... ?? "higher-order" .... ???? ...... ?? kleisli .... ??? ....