We construct exponentials in a topos and show that a topos can be defined as a cartesian closed category with equializers and a subobject classifier.
No download links available.
