HomeAboutPeopleEventsResearchRTGPositionsGuest ProgrammeImpressum

From SFB1085 - Higher Invariants

Combined display of all available logs of SFB1085 - Higher Invariants. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 18:15, 10 January 2023 Cid36224 talk contribs created page The logic of étale maps (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...")