Olivia Caramello

Last updated
Olivia Caramello
Born (1984-11-29) 29 November 1984 (age 38)
Nationality Italian
Alma mater University of Turin
Known forContributions to topos theory, toposes as bridges theory
AwardsGelfand Chair at IHES, Paris, France
Scientific career
Fields Mathematics
Institutions University of Insubria

Olivia Caramello is an Italian mathematician. She holds a national Rita Levi-Montalcini associate professorship [1] at the University of Insubria [2] in Como, Italy. She is known for her work in topos theory and for pioneering the technique of toposes as bridges. She authored the 2017 book Theories, Sites, Toposes: Relating and studying mathematical theories through topos-theoretic bridges. [3] [4]

Contents

Education and early career

Caramello earned her bachelor's degree in mathematics at the University of Turin and her Diploma in Piano at the Conservatorio di Cuneo [5] at the age of 19.

In 2009, she obtained her Ph.D. in Mathematics at the University of Cambridge (UK), as a Prince of Wales Student of Trinity College, with a thesis entitled "The duality between Grothendieck toposes and geometric theories" under the supervision of Peter Johnstone. [6] In 2016, she obtained her Habilitation at Paris Diderot University with a habilitation thesis entitled "Grothendieck toposes as unifying bridges in Mathematics". [7]

Caramello has held a research fellowship at Jesus College, Cambridge and post-doctoral appointments at the De Giorgi Center of the Scuola Normale Superiore di Pisa, Paris Diderot University and the University of Milan (as holder of a Marie Curie Fellowship of the Istituto Nazionale di Alta Matematica) and the Institut des Hautes Etudes Scientifiques. [8]

Work

Caramello developed the theory of "toposes as bridges", which consists in methods and techniques for unifying different mathematical theories and transferring information between them by using toposes. This theory is based on the duality of sites and Grothendieck toposes, and on the notion of classifying topos of a geometric first-order theory, exploiting the diversity of possible presentations of each topos by infinitely many sites or theories. Caramello's theory involves several components : on the one hand, establishing equivalences between toposes presented in different ways; on the other hand, calculating or expressing topos invariants in terms of the various types of presentations considered, in order to produce correspondences between properties or elements of these various presentations. [9] [10]

The theory of "toposes as bridges" can be considered a meta-mathematical theory of the relations between different theories [11] and her program contributes to realizing the unifying potential of the notion of topos already glimpsed by Alexander Grothendieck. [12]

Caramello organized international conferences in topos theory, "Topos à l'IHES" (2015). [13] and "Toposes in Como" (2018) [14] She is an editor of the journal Logica Universalis [15] and is running a blog and forum about toposes. [16]

Awards and recognition

Caramello was awarded the AILA [17] (Associazione Italiana di Logica e sue Applicazioni) Prize in 2011, [18] a "L'Oréal-Unesco Fellowship for Women in Science" in 2014 [19] [ circular reference ] and a "Rita Levi Montalcini" position of the Italian Ministry for Education, University and Research in 2017. [20]

Caramello's methodology of toposes as bridges has been qualified by André Joyal as a "vast extension of Felix Klein's Erlangen Programme" [21] and has been endorsed by Fields Medalists Alain Connes [22] and Laurent Lafforgue. [23]

Controversy

In 2015 Caramello had a public controversy with a number of senior exponents of the category theory community, whom she accused of spreading negative ungrounded opinions on her work; [24] her case is discussed in an academic paper. [25]

Selected publications

Related Research Articles

<span class="mw-page-title-main">Institut des Hautes Études Scientifiques</span> French institute for mathematics and theoretical physics

The Institut des hautes études scientifiques is a French research institute supporting advanced research in mathematics and theoretical physics. It is located in Bures-sur-Yvette, just south of Paris. It is an independently governed research institute and a founding member of the University of Paris-Saclay.

In representation theory and algebraic number theory, the Langlands program is a web of far-reaching and consequential conjectures about connections between number theory and geometry. Proposed by Robert Langlands, it seeks to relate Galois groups in algebraic number theory to automorphic forms and representation theory of algebraic groups over local fields and adeles. Widely seen as the single biggest project in modern mathematical research, the Langlands program has been described by Edward Frenkel as "a kind of grand unified theory of mathematics."

This article gives some very general background to the mathematical idea of topos. This is an aspect of category theory, and has a reputation for being abstruse. The level of abstraction involved cannot be reduced beyond a certain point; but on the other hand context can be given. This is partly in terms of historical development, but also to some extent an explanation of differing attitudes to category theory.

In category theory, a subobject classifier is a special object Ω of a category such that, intuitively, the subobjects of any object X in the category correspond to the morphisms from X to Ω. In typical examples, that morphism assigns "true" to the elements of the subobject and "false" to the other elements of X. Therefore, a subobject classifier is also known as a "truth value object" and the concept is widely used in the categorical description of logic. Note however that subobject classifiers are often much more complicated than the simple binary logic truth values {true, false}.

In mathematics, Grothendieck's Galois theory is an abstract approach to the Galois theory of fields, developed around 1960 to provide a way to study the fundamental group of algebraic topology in the setting of algebraic geometry. It provides, in the classical setting of field theory, an alternative perspective to that of Emil Artin based on linear algebra, which became standard from about the 1930s.

<i>Éléments de géométrie algébrique</i>

The Éléments de géométrie algébrique by Alexander Grothendieck, or EGA for short, is a rigorous treatise, in French, on algebraic geometry that was published from 1960 through 1967 by the Institut des Hautes Études Scientifiques. In it, Grothendieck established systematic foundations of algebraic geometry, building upon the concept of schemes, which he defined. The work is now considered the foundation stone and basic reference of modern algebraic geometry.

<span class="mw-page-title-main">Rita Levi-Montalcini</span> Italian neurologist (1909–2012)

Rita Levi-Montalcini was an Italian neurobiologist. She was awarded the 1986 Nobel Prize in Physiology or Medicine jointly with colleague Stanley Cohen for the discovery of nerve growth factor (NGF).

Categorical logic is the branch of mathematics in which tools and concepts from category theory are applied to the study of mathematical logic. It is also notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category, and an interpretation by a functor. The categorical framework provides a rich conceptual background for logical and type-theoretic constructions. The subject has been recognisable in these terms since around 1970.

In category theory, a branch of mathematics, Beck's monadicity theorem gives a criterion that characterises monadic functors, introduced by Jonathan Mock Beck (2003) in about 1964. It is often stated in dual form for comonads. It is sometimes called the Beck tripleability theorem because of the older term triple for a monad.

In mathematics, the Grothendieck–Katz p-curvature conjecture is a local-global principle for linear ordinary differential equations, related to differential Galois theory and in a loose sense analogous to the result in the Chebotarev density theorem considered as the polynomial case. It is a conjecture of Alexander Grothendieck from the late 1960s, and apparently not published by him in any form.

In mathematical logic, Lindström's theorem states that first-order logic is the strongest logic having both the (countable) compactness property and the (downward) Löwenheim–Skolem property.

<span class="mw-page-title-main">Steve Vickers (computer scientist)</span>

Steve Vickers is a British mathematician and computer scientist. In the early 1980s, he wrote ROM firmware and manuals for three home computers, the ZX81, ZX Spectrum, and Jupiter Ace. The latter was produced by Jupiter Cantab, a short-lived company Vickers formed together with Richard Altwasser, after the two had left Sinclair Research. Since the late 1980s, Vickers has been an academic in the field of geometric logic, writing over 30 papers in scholarly journals on mathematical aspects of computer science. His book Topology via Logic has been influential over a range of fields. In October 2018, he retired as senior lecturer at the University of Birmingham. As announced on his university homepage, he continues to supervise PhD students at the university and focus on his research.

In mathematics, a topos is a category that behaves like the category of sheaves of sets on a topological space. Topoi behave much like the category of sets and possess a notion of localization; they are a direct generalization of point-set topology. The Grothendieck topoi find applications in algebraic geometry; the more general elementary topoi are used in logic.

<span class="mw-page-title-main">Colin McLarty</span> American logician

Colin McLarty is an American logician whose publications have ranged widely in philosophy and the foundations of mathematics, as well as in the history of science and of mathematics.

Amie Wilkinson is an American mathematician and Professor of Mathematics at the University of Chicago. Her research topics include smooth dynamical systems, ergodic theory, chaos theory, and semisimple Lie groups. Wilkinson, in collaboration with Christian Bonatti and Sylvain Crovisier, partially resolved the twelfth problem on Stephen Smale's list of mathematical problems for the 21st Century.

<span class="mw-page-title-main">Aldo Andreotti</span> Italian mathematician

Aldo Andreotti was an Italian mathematician who worked on algebraic geometry, on the theory of functions of several complex variables and on partial differential operators. Notably he proved the Andreotti–Frankel theorem, the Andreotti–Grauert theorem, the Andreotti–Vesentini theorem and introduced, jointly with François Norguet, the Andreotti–Norguet integral representation for functions of several complex variables.

In mathematics, a classifying topos for some sort of structure is a topos T such that there is a natural equivalence between geometric morphisms from a cocomplete topos E to T and the category of models for the structure in E.

<span class="mw-page-title-main">Leila Schneps</span> American mathematician and novelist

Leila Schneps is an American mathematician and fiction writer at the Centre national de la recherche scientifique working in number theory. Schneps has written general audience math books and, under the pen name Catherine Shaw, has written mathematically themed murder mysteries.

Myles Tierney was an American mathematician and Professor at Rutgers University who founded the theory of elementary toposes with William Lawvere.

<span class="mw-page-title-main">Barbara Fantechi</span> Italian mathematician

Barbara Fantechi is an Italian mathematician and Professor at the International School for Advanced Studies. Her research area is algebraic geometry. She is a member of the Accademia dei Lincei.

References

  1. ↑ "Contratti Finanziati Bando 2013". Ministero dell'Università e della Ricerca. Retrieved 2021-03-21.
  2. ↑ "CARAMELLO OLIVIA Professore Associato DIPARTIMENTO DI SCIENZA E ALTA TECNOLOGIA".
  3. ↑ Review of Theories, Sites, Toposes: Andrzej Wiśnicki, MR 3752150
  4. ↑ "Theories, Sites, Toposes".
  5. ↑ "Construindo novas pontes na mathematica".
  6. ↑ "Olivia Caramello". Mathematics Genealogy Project. Retrieved 2021-03-21.
  7. ↑ "Grothendieck toposes as unifying 'bridges' in mathematics" (PDF)..
  8. ↑ "IHES, Institut des Hautes Études Scientifiques Université Paris-Saclay".
  9. ↑ "Grothendieck toposes as unifying 'bridges' in Mathematics" (PDF).
  10. ↑ Caramello, Olivia (2017), Theories, Sites, Toposes: Relating and studying mathematical theories through topos-theoretic bridges, Oxford University Press
  11. ↑ "La th ́eorie de Caramello : un cadre en construction pour des correspondances du type de celle de Langlands ?" (PDF). Retrieved 2021-03-21.
  12. ↑ Caramello, Olivia (2018), La "notion unificatrice" de topos - Olivia Caramello, YouTube talk
  13. ↑ "Topos à l'IHES". 2015.
  14. ↑ "Toposes in Como". 2018.
  15. ↑ "Editors of Logica Universalis".
  16. ↑ "Around Toposes, A blog and forum about toposes, 'bridges' and the unification programme".
  17. ↑ "Associazione Italiana di Logica e sue Applicazioni".
  18. ↑ "AILA Prize in 2011" (PDF).
  19. ↑ "Bourses France L'Oréal-UNESCO Pour les Femmes et la Science".
  20. ↑ "Programma per Giovani Ricercatori "Rita Levi Montalcini"".
  21. ↑ "André Joyal's letter".
  22. ↑ "Report on Habilitation Thesis by Olivia Caramello" (PDF). 2016.
  23. ↑ Laurent Lafforgue. "La theorie de Caramello: un cadre en construction pour des correspondances du type de celle de Langlands?" (PDF).
  24. ↑ "Unifying theory, Controversy with category theorists".
  25. ↑ Rittberg, Colin Jakob; Tanswell, Fenner Stanley; Van Bendegem, Jean Paul (2020), "Epistemic injustice in mathematics", Synthese, Springer, 197 (9): 3875–3904, doi:10.1007/s11229-018-01981-1, S2CID   53078904
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.