Smooth spaces versus continuous spaces in models for synthetic differential geometry

Abstract

In topos models for synthetic differential geometry we study connections between smooth spaces (which interpret synthetic calculus) and continuous spaces (which interpret intuitionistic analysis). Our main tools are adjoint retractions of toposes and the standard map from the smooth reals to the continuous reals.