HomeAboutPeopleEventsResearchRTGGuest 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...") |
No edit summary |
||
| 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 18: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.
