ATTENTION/WARNING - NE PAS DÉPOSER ICI/DO NOT SUBMIT HERE

Ceci est la version de TEST de DIAL.mem. Veuillez ne pas soumettre votre mémoire sur ce site mais bien à l'URL suivante: 'https://thesis.dial.uclouvain.be'.
This is the TEST version of DIAL.mem. Please use the following URL to submit your master thesis: 'https://thesis.dial.uclouvain.be'.
 

The classifying topos : a tool to understand mathematical theories

Choserot, Néot
(2024)

Files

Choserot_58391900_2024.pdf
  • Open access
  • Adobe PDF
  • 852.51 KB
Download

Details

Supervisors
Ramos Gonzalez, Julia ; Vitale, Enrico
Faculty
Faculté des sciences
Degree label
Master [120] en sciences mathématiques, à finalité approfondie
Abstract
In this thesis, we study the importance of the classifying topos and the role it plays in the study of mathematical theories in the context of topos theory. We provide a construction of various classifying topoi for given geometric theories as well as some examples.