Olivia Caramello's website


Unifying theory

Unification programme

Motivated by the results obtained so far, I intend to continue the research along the lines described above in order to further develop this unification programme.

Central themes in this project will be:

Some of these tasks will be of purely topos-theoretic nature, while others will require, or at least greatly benefit from, interaction with specialists in the various mathematical fields. Indeed, these methods are meta-mathematical in nature and hence are not meant to substitute the more specialized techniques but to complement them; a joint effort between the specialist and the 'meta-mathematical topos-theorist' (who might possibly be the same individual in some cases!) is certainly needed to obtain new and striking results in the specialist’s field of interest.