Relative category theory and geometric morphisms a logical approach - Chapman, Jonathan (Clarendon Press, 1992)