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...") |
(No difference)
|
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.