This clear and comprehensive book formally introduces synthetic differential topology, a natural extension of the theory of synthetic differential geometry. It will be of interest to researchers in topos theory and to mathematicians interested in the categorical foundations of differential geometry and topology.