Relative category theory and geometric morphisms : a logical approach /
Chapman, Jonathan.
Rowbottom, Frederick.
Oxford : Clarendon Press,
1992.