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)
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).