Topological properties of the real numbers object in a topos Lawrence Neff Stout (1976) Cahiers de Topologie et Géométrie Différentielle Catégoriques