Elementary categories, elementary toposes - McLarty, Colin (Oxford : Clarendon Press, 1992)
Keywords: Categories (Mathematics); Toposes