Synthetic Differential Topology

Marta Bunge · Felipe Gago · Ana María San Luis

бер. 2018 р. · London Mathematical Society Lecture Note Series Книга 448 · Cambridge University Press

Про цю електронну книгу

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 use of logical infinitesimal objects in it. Beginning with an introduction to those parts of topos theory and synthetic differential geometry necessary for the remainder, this clear and comprehensive text covers the general theory of synthetic differential topology and several applications of it to classical mathematics, including the calculus of variations, Mather's theorem, and Morse theory on the classification of singularities. The book represents the state of the art in synthetic differential topology and will be of interest to researchers in topos theory and to mathematicians interested in the categorical foundations of differential geometry and topology.

Про автора

Marta Bunge is Professor Emerita of Mathematics at McGill University, Montreal. She is the author (with Professor Jonathon Funk) of the book Singular Coverings of Toposes (2010). Bunge is also a member of the editorial boards of the Cahiers de Topologie et Geometrie Differentielle Categoriques and of the Tbilisi Mathematical Journal.

Felipe Gago is Professor of Mathematics at the University of Santiago de Compostela, Spain.

Ana María San Luis is Professor of Mathematics at the University of Oviedo, Spain.