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
Topological totally convex spaces, II Heinrich Kleisli, Hans-Peter Künzi (1995) Cahiers de Topologie et Géométrie Différentielle Catégoriques