Olivia Caramello

Theories, Sites, Toposes: Relating and Studying Mathematical Theories Through Topos-Theoretic 'Bridges'

• Gebundenes Buch

Produktbeschreibung

This book introduces a set of methods and techniques for studying mathematical theories and relating them to each other through the use of Grothendieck toposes.

Produktdetails

• Verlag: Oxford University Press, USA
• Seitenzahl: 336
• Erscheinungstermin: 21. Februar 2018
• Englisch
• Abmessung: 241mm x 159mm x 27mm
• Gewicht: 718g
• ISBN-13: 9780198758914
• ISBN-10: 019875891X
• Artikelnr.: 47867608

Autorenporträt

Olivia Caramello is a mathematician working as Assistant Professor at the Università degli Studi dell'Insubria in Como. Her research focuses on investigating the role of Grothendieck toposes as unifying spaces in Mathematics and Logic. Her main contribution has been the development of methods and techniques for transferring information between distinct mathematical theories by using toposes. After obtaining her Ph.D. in Mathematics at the University of Cambridge, she worked as a post-doctoral researcher at the Centro di Ricerca Matematica Ennio De Giorgi of the Scuola Normale Superiore (Pisa), Jesus College, Cambridge, the Max Planck Institute for Mathematics (Bonn), IHES, and as a Marie Curie Fellow at the Université de Paris VII and the Università degli Studi di Milano. She was awarded a L'Oréal-Unesco fellowship for Women in Science in 2014.

Inhaltsangabe

1: Topos-theoretic background
2: Classifying toposes and the 'bridge' technique
3: A duality theorem
4: Lattices of theories
5: Flat functors and classifying toposes
6: Theories of presheaf type: general criteria
7: Expansions and faithful interpretations
8: Quotients of a theory of presheaf type
9: Examples of theories of presheaf type
10: Some applications