Does anyone know whether in the category Geom of toposes and geometric morphism the local homemorphisms form the mono part of a factorization system ? Or is that at least the case in the luff subcategory where one has only essential geomtric morphism whose leftmost adjoint preserves pullbacks. Has this latter category ever been srudied ? Thomas Streicher