Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

One knows that many models of set theory exist. In topos theory,"the" category of sets is to play the role of the point. Since many models of set theory are around, I believe one of the following to be true.

  1. There is one category of sets and the model determines what is true about the category of sets.

  2. There are many different categories that can be called the category of sets, one for each model.

The question is: is 1 or 2 correct? Perhaps neither one is correct. In either case,what would a good reference be?

share|improve this question
add comment

1 Answer

up vote 15 down vote accepted

Here is a thoroughly Platonist answer to your question: Both 1 and 2 are true. There is one category of sets. Its objects are all of the sets, and its morphisms are all of the functions between them. But there are many other categories that can be (and in fact have been) called the category of sets (by abuse of language). In fact, I often think of an arbitrary elementary topos as the category of sets.

Most non-Platonist mathematicians would say that 1 is false and 2 is true, or perhaps that one shouldn't speak of the category of sets at all but rather of a category of sets.

A few mathematicians, who don't believe the consistency of any sort of set theory, might say that there are no categories that can be called the category of sets because there are no models of set theory.

In an effort to clarify these positions, their respective advocates would assert them more loudly.

share|improve this answer
Just to playfully quibble, some platonist might think that 2 is true if their is a muliverse. –  Lunasaurus Rex Sep 29 '11 at 21:02
+1 For the last line. Hopefully we can avoid this trap. –  BSteinhurst Sep 29 '11 at 22:41
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.