Synthetic differential topology / Marta Bunge, McGill University, Montréal ; Felipe Gago, Universidade de Santiago de Compostela, Spain ; Ana María San Luis, Universidad de Oviedo, Spain
Topos theory -- Synthetic differential geometry -- The Ambrose-Palais-Singer theorem in SDG -- Calculus of variations in SDG -- Local concepts in SDG -- Synthetic differential topology -- Stable mappings and Mather's theorem in SDT -- Morse theory in SDT -- Well adapted models of SDT -- An application to unfoldings -- The Dubuc Topos G -- G as a model of SDT
Summary
Represents the state of the art in the new field of synthetic differential topology