New Spaces in Mathematics: Volume 1 Formal and Conceptual Reflections

After the development of manifolds and algebraic varieties in the previous century, mathematicians and physicists have continued to advance concepts of space. This book and its companion explore various new notions of space, including both formal and conceptual points of view, as presented by leading experts at the New Spaces in Mathematics and Physics workshop held at the Institut Henri Poincaré in 2015. The chapters in this volume cover a broad range of topics in mathematics, including diffeologies, synthetic differential geometry, microlocal analysis, topos theory, infinity-groupoids, homotopy type theory, category-theoretic methods in geometry, stacks, derived geometry, and noncommutative geometry. It is addressed primarily to mathematicians and mathematical physicists, but also to historians and philosophers of these disciplines.

Introduction Mathieu Anel and Gabriel Catren; Part I. Differential geometry: 1. An Introduction to diffeology Patrick Iglesias-Zemmour; 2. New methods for old spaces: synthetic differential geometry Anders Kock; 3. Microlocal analysis and beyond Pierre Schapira; Part II. Topology and algebraic topology: 4. Topo-logie Mathieu Anel and André Joyal; 5. Spaces as infinity-groupoids Timothy Porter; 6. Homotopy type theory: the logic of space Michael Shulman; Part III. Algebraic geometry: 7. Sheaves and functors of points Michel Vaquié; 8. Stacks Nicole Mestrano and Carlos Simpson; 9. The geometry of ambiguity: an introduction to the ideas of derived geometry Mathieu Anel; 10. Geometry in dg categories Maxim Kontsevich.

Mathieu Anel is a Visiting Assistant Professor at Carnegie Mellon University. His research interests include higher category theory, algebraic topology, and topos theory.
Gabriel Catren is Permanent Researcher in philosophy of physics at the French National Centre for Scientific Research (CNRS). His research interests include the foundations of classical and quantum mechanics, and the foundations of gauge theories.