MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am trying to understand the Dedekind and Cauchy real objects in topoi concretely by looking at presheaf categories over small (tiny?) categories. For example, consider the topos which is the category of spans of sets. That is, this is the presheaf category over $\nearrow \nwarrow$. How can we construct the Dedekind and Cauchy objects concretely in this category?

share|cite|improve this question
Have you tried just taking the actual construction, given in terms that make sense in any topos, and writing down what it means in that particular case? – Mike Shulman Feb 7 '12 at 21:38
To add to Mike's comment: have a guess at what the real numbers object(s) in a presheaf category might be. – Tom Leinster Feb 16 '12 at 18:15
I read from MacLane-Mordeijk that the Dedekind reals in a presheaf category is the presheaf that is constantly $R$. – Colin Tan Feb 25 '12 at 15:31

Your Answer


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

Browse other questions tagged or ask your own question.