Elementary categories, elementary toposes - McLarty, Colin (Clarendon Press, 2005)