HomeAboutPeopleEventsResearchRTGPositionsGuest ProgrammeImpressum
From SFB1085 - Higher Invariants
Jump to navigationJump to search (Created page with "Mathieu 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 fibrat...") |
|||
Line 1: | Line 1: | ||
Mathieu Anel - The logic of étale maps | Mathieu Anel - The logic of étale maps | ||
− | Abstract: I would like to advertise a certain connection between geometry and the theory of dependent types. | + | 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. |
− | |||
− | 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. |
Latest revision as of 19:15, 10 January 2023
Mathieu 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.