Max Zeuner: Some more synthetic algebraic geometry
Tid: On 2023-11-15 kl 11.00 - 12.30
Plats: Albano house 1, floor 3, Room U (Kovalevsky)
Medverkande: Max Zeuner (SU)
Abstract
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).