13:37
- What is a local coefficient system?
14:27
- What is a separated scheme?
- What does locally quasi-finite mean?
- What is a quasi-affine morphism of schemes?
16:13
- What does smooth actually mean? I.e., what is the precise definition?
- What is a geometrically connected scheme ?