Relative Category theory and geometric morphisms logical approach - Chapman Jonathan; Rowbottom Frederick (Calcutta Clarendon Press, 1992)
Keywords: Mathematical logic; Toposes