HomeAboutPeopleEventsResearchRTGPositionsGuest ProgrammeImpressum
From SFB1085 - Higher Invariants
Jump to navigationJump to searchMathieu Anel - The logic of étale maps
Abstract: I would like to advertise a certain connection between geometry and the theory of dependent types. I will study the fibration of étale maps over the category of topoi from a logical point of view and explain how existential and universal quantifications are related to local contractibility and propriety.
