I agree with two answers already given. I provide some more detail in an answer to a similar question here: What is a topos?
David Carchedi
- 15.5k
- 38
- 99