I've been reading on Real numbers objects in a Topos, and I want to read this article (starting page 22 on the attached PDF) the nlab references.
The problem is that I don't read French, and I haven't been able to find a translation in English.
Does anyone have a copy of this translation that they might be able to reupload elsewhere or send to me?
Thank you.