The first axiom for an elementary topos is examined in our 6 categories of presheaves.
No download links available.
