Elementary catagories , elementary toposes - McLARTY, Colin (Oxford Clarendon press, 1995)