This acclaimed book, now available in paperback, introduces categories and elementary toposes in a manner requiring little mathematical background.