# Olivia Caramello

The topic of this article may not meet Wikitia's general notability guideline. |

Olivia Caramello | |
---|---|

Add a Photo | |

Born | January 29, 1984 |

Nationality | Italian |

Citizenship | Italy |

Alma mater | University of Turin, Italy |

Occupation | Mathematician |

Known for | Contributions to topos theory, toposes as bridges theory |

Awards | Gelfand Chair at IHES, Paris, France |

**Olivia Caramello** is a mathematician known for her work in topos theory.

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, and the Gelfand Chair^{[3]} at the Institut des Hautes Etudes Scientifiques^{[4]}, France. She is known for her work in topos theory and for pioneering the technique of toposes as bridges. She is the author of the book "Theories, Sites, Toposes: Relating and studying mathematical theories through topos-theoretic bridges"^{[5]}.

## Education and early career

She got her Bachelor's Degree in Mathematics at the University of Turin and her Diploma in Piano at the Conservatorio di Cuneo^{[6]} 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 (6), with a thesis entitled "The duality between Grothendieck toposes and geometric theories" under the supervision of Peter Johnstone^{[7]}. In 2016, she obtained her Habilitation at the University Paris Diderot with a habilitation thesis entitled "Grothendieck toposes as unifying bridges in Mathematics"^{[8]}.

She 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, the University Paris Diderot 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^{[9]}.

## Work

Caramello has developed the theory of "toposes as bridges"^{[10]}^{[11]}, 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 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.

She showed that this technique applied in diverse mathematical contexts generates a large number of new results, some of which are completely unexpected, as well as completely new proofs of already known results. In particular, this technique allowed Caramello to generalise and Fraïssé's construction in model theory and Grothendieck's Galois theory.

Caramello's "bridge technique" has many applications to topos theory,category theory and other different domains of mathematics such as topology (Stone-type dualities and Priestley-type dualities), algebra (dualities between MV-algebras and lattice-ordered groups), functional analysis (Gelfand duality and Wallman bases) and algebraic geometry (Nori motives).

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

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

## Awards and recognition

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

Her methodology of toposes as bridges has been qualified by André Joyal as a "vast extension of Felix Klein's Erlangen Programme"^{[22]} and has been endorsed by fields_medal|Fields Medalists Alain Connes^{[23]} and Laurent Lafforgue^{[24]}.

Her unification program has also featured in the popular best-selling book "How not to be wrong".

Caramello is also an accomplished pianist; in 2008, she obtained the first prize at the Edith Leigh Piano Competition of Trinity College, Cambridge.

## 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^{[25]}; her case is discussed in an academic paper^{[26]}.

## Selected publications

- Fraïssé's construction from a topos-theoretic perspective, Logica Universalis 8, 261-281 (2014).
- The Morita-equivalence between MV-algebras and abelian l-groups with strong unit (with A. C. Russo), Journal of Algebra 422, 752-787 (2015).
- Topological Galois Theory, Advances in Mathematics 291, 646-695 (2016).
- Theories, Sites, Toposes : Relating and studying mathematical theories through topos-theoretic bridges, Oxford University Press (2017). ; [4]
- Syntactic categories for Nori motives (with L. Barbieri-Viale and L. Lafforgue), Selecta Matematica 24, 3619-3648 (2018).
- The theory of topos-theoretic bridges - a conceptual introduction, Glass Bead Journal (2016).

## References

- ↑ [1]
- ↑ "CARAMELLO OLIVIA Professore Associato DIPARTIMENTO DI SCIENZA E ALTA TECNOLOGIA".
- ↑ "Olivia Caramello, Israel Gelfand Chair in mathematics".
- ↑ "IHES, Institut des Hautes Études Scientifiques Université Paris-Saclay".
- ↑ Caramello, Olivia (2017),
*Theories, Sites, Toposes: Relating and studying mathematical theories through topos-theoretic bridges*, Oxford University Press - ↑ "Construindo novas pontes na mathematica".
- ↑ [2]
- ↑ "Grothendieck toposes as unifying 'bridges' in mathematics" (PDF).
- ↑ "IHES, Institut des Hautes Études Scientifiques Université Paris-Saclay".
- ↑ "Grothendieck toposes as unifying 'bridges' in Mathematics" (PDF).
- ↑ Caramello, Olivia (2017),
*Theories, Sites, Toposes: Relating and studying mathematical theories through topos-theoretic bridges*, Oxford University Press - ↑ [3]
- ↑ Caramello, Olivia (2018),
*La "notion unificatrice" de topos - Olivia Caramello, YouTube talk* - ↑ "Topos à l'IHES". 2015.
- ↑ "Toposes in Como". 2018.
- ↑ "Editors of Logica Universalis".
- ↑ "Around Toposes, A blog and forum about toposes, 'bridges' and the unification programme".
- ↑ "Associazione Italiana di Logica e sue Applicazioni".
- ↑ "AILA Prize in 2011" (PDF).
- ↑ "L'ORÉAL-UNESCO POUR LES FEMMES ET LA SCIENCE 2014".
- ↑ "Programma per Giovani Ricercatori "Rita Levi Montalcini"".
- ↑ "André Joyal's letter".
- ↑ "Report on Habilitation Thesis by Olivia Caramello" (PDF). 2016.
- ↑ Laurent Lafforgue. "La theorie de Caramello: un cadre en construction pour des correspondances du type de celle de Langlands?" (PDF).
- ↑ "Unifying theory, Controversy with category theorists".
- ↑ Rittberg, Colin Jakob; Tanswell, Fenner Stanley; Van Bendegem, Jean Paul (2020), "Epistemic injustice in mathematics",
*Synthese*, Springer,**197**: 3875–3904

## External links

This article "Olivia Caramello" is from Wikipedia. The list of its authors can be seen in its historical. Articles taken from Draft Namespace on Wikipedia could be accessed on Wikipedia's Draft Namespace.