Skip to main content

Max Zeuner: Some more synthetic algebraic geometry

Time: Wed 2023-11-15 11.00 - 12.30

Location: Albano house 1, floor 3, Room U (Kovalevsky)

Participating: Max Zeuner (SU)

Export to calendar


This talk is a continuation of last week's introduction to synthetic algebraic geometry. The plan is to discuss more non-classical consequences of the axioms and see example of non-affine internal schemes such as the projective spaces \(\mathbb{P}^n\). Furthermore we want to look at how étale maps and smooth schemes can be described internally through the use of modalities (in the homotopy-type-theoretic sense).