Elementary categories, elementary toposes /
McLarty, Colin.
Oxford : Clarendon Press,
1992.