Pullback preserving functors (Q1176704)

A partial geometric morphism between topoi is a functor \(f: S\to T\) which has a pullback preserving left adjoint \(f^*\). Pullback preserving functors and other technical details are discussed in the first two sections. The main result of the paper appears in the third section; it asserts that pullback preserving functors are codiscrete cofibrations in the 2-category of partial geometric morphisms and conversely.