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.

  • 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

3

A topos with an NNO has intuitionistic internal logic in general (if you assume Choice then Dionescu's theorem tells you that the internal logic is classical), so any proof that relies on proof by contradiction will not work (not to say the results won't, but the proof needs to be fixed, or your concepts altered).

  • 0
    I should say 'Internal Choice' in my previous comment, as that is the only thing that makes sense without well-pointedness.2014-03-11
0

Ah, I forgot about the Yoneda lemma.

Also, I think it's impossible to show that a strictly increasing function into a partial order is monic, because the normal proof uses the fact that monic on global elements implies monic. In fact, this lemma is probably used a lot.