Franklin's Notes

Elementary topos

An elementary topos $\mathscr E$ is a category which

1. Has all finite limits and colimits
2. Has exponentiation
3. Has a subobject classifier