An elementary topos $\mathscr E$ is a category which
1. Has all finite limits and colimits 2. Has exponentiation 3. Has a subobject classifier