Couvre le concept de quasi-cohérence dans la géométrie algébrique, discutant de la levée des fonctions, des sections de gerbes, et poussant vers l'avant des gerbes cohérentes.
Explore la décomposition primaire et les schémas en géométrie algébrique, soulignant l'importance de travailler sur les champs non-algébriques fermés et le concept de fibres de morphismes.
Couvre les types polymorphes dans Amy, y compris les règles Hindley-Milner, les schémas de type, l'instanciation et la gestion des variables de type dans les fonctions.