Felipe Gago: 1 book

This book formally introduces synthetic differential topology, a natural extension of the theory of synthetic differential geometry which captures classical concepts of differential geometry and topology by means of the rich categorical structure of a necessarily non-Boolean topos and of the systematic...