Skip to main content
1 of 5
Not Mike
  • 1.6k
  • 21
  • 29

Independence and Category Theory

I'm not very experienced with respect to Category Theory. So if this question makes no sense I'm sorry. At any rate here is my question: If the existence or non-existence of specific sets can be independent of set theory, then how can it be that the category Set is complete under small limits?

For example, suppose you have a small category A, with objects that are linearly ordered spaces X such that: X is without smallest or largest element, X has CCC, X is complete, and X is dense in itself. And as morphisms for A, you take order preserving bijections. Now, let F be the forgetful functor from linearly ordered spaces to their underlying set.

How exactly can you define the limit over F inside of Set?

Am I correct in saying that the answer depends drastically on the set theoretic universe you pick?

Not Mike
  • 1.6k
  • 21
  • 29