This section of the website is devoted to an informal description of the intradisciplinary methodologies of topos-theoretic nature which I have eleborated since the beginning of my Ph.D. studies with the purpose of 'unifying' different mathematical theories with each other. For a more formal overview of these methods, as well as of the view on which they are based, please refer to this paper.

A non-technical introduction to the concept of unification and its different incarnations in Mathematics.

A brief excursus into the history of Categorical Logic, with a particular emphasis on the notion of classifying topos and the relationship between the concept of Grothendieck topos and that of elementary topos.

A non-technical explanation of the view 'toposes as bridges' on which the unifying theory is based.

A collection of metaphors and analogies for the non-specialist reader which can help illuminate the philosphical meaning of the unifying methodologies.

A brief technical description of the unifying methodologies in the language of Topos Theory.

A selection of topos-theoretic 'bridges' belonging to different fields of Mathematics which I have established in the course of my research work.

A brief description of the research programme based on the unifying theory which I intend to pursue in the next years.

A discussion on the level of generality and scope of applicability of the 'bridge-building' techniques, both in Mathematics and in other subjects, together with a set of indications of future research directions which could contribute to a further development of the unification programme.

My answers to the questions or comments on the unification programme that I most frequently receive from colleagues and interested people.

A few indications for further reading relevant to the unifying theory described in the sections above.