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.
Déplacez-vous dans le mélange des changements de temps dans les flux nuls, en soulignant la nature délicate du mélange et sa dépendance à l'égard des singularités.
Couvre la géométrie algébrique moderne, se concentrant sur les schémas et les schémas d'affines, y compris un examen de la géométrie algébrique classique et le théorème de Bézout.
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.
