Relative category theory and geometric morphisms : a logical approach - Chapman, Jonathan (Oxford logic guides ;, 1992)