6
$\begingroup$

Where is the well-pointedeness assumption of the Elementary theory of the category of sets (Lawvere's category-theoretic axiomatization of set theory) used in everyday math?

Specifically, if you have a topos with natural numbers object (assume choice if you want to), what familiar theorems don't hold? I've heard that showing the Dedekind reals are the same as the Cauchy reals is one. Where in the arguments is well-pointedness used? It seems hard to find examples of this.

  • 1
    what is "ETCS"?2010-11-15
  • 3
    Elementary theory of the category of sets. Lawvere's category-theoretic axiomatization of set theory. Well-pointed topos with choice and natural numbers object.2010-11-15
  • 0
    Please try to make the body of your posts self-contained, not relying on the subject line for content. I've edited the question, also taking into account your response above.2011-02-14

2 Answers 2