Relative Category Theory and Geometric Morphisms