La théorie des topos et les liens avec les ensembles

Mattenet, Sébastien

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'.

Files

Mattenet_47781500_2020.pdf

Open access
Adobe PDF
1.76 MB

Download

Details

Supervisors: Van der Linden, Tim
Faculty: Faculté des sciences
Degree label: Master [120] en sciences mathématiques
Abstract: enAn exploration of known work making links between topos theory, set theory and intuitionist type theory. The goal is to understand the claim that topoï constitute the natural home where mathematics takes place.