Elementary Categories, Elementary Toposes - McLarty (Oxford University PressOxford University Press, 2023)