Egbert Rijke: What are schemes?
Date of publication: 11. 10. 2022
Mathematics and theoretical computing seminar
Thursday
13
October
Time:
10:00 - 12:00
Location:
Jadranska 21, 3.07
Abstract: What is a scheme in algebraic geometry? Is there anything interesting to say about schemes from a univalent point of view? In this seminar I will present the definition of schemes, and introduce related concepts and the relevant theorems, and I will lay out a plan towards their formalization.
