Max Zeuner: Some more synthetic algebraic geometry

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