University of Regensburg
Faculty of Mathematics

HomeAboutPeopleEventsResearchRTGPositionsGuest ProgrammeImpressum

From SFB1085 - Higher Invariants
Revision as of 19:15, 10 January 2023 by Cid36224 (talk | contribs) (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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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.

Retrieved from "https://sfb-higher-invariants.app.uni-regensburg.de/index.php?title=The_logic_of_étale_maps&oldid=443"
Personal Tools
  • Log in
    • Wiki Tools
  • Page
  • Discussion
  • View source
  • History