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

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

Mattenet, Sébastien
(2020)

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.

Citations

  • APA

Mattenet, S. (2020). La théorie des topos et les liens avec les ensembles. https://dial-mem.test.bib.ucl.ac.be/handle/2078.2/20396