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

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.