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

category-theory

topos-theory

back to home page