Explore les morphismes projectifs, les modules gradués et leurs applications en géométrie algébrique, en mettant l'accent sur leurs propriétés et leur construction.
Explore la construction et les propriétés des morphismes, en mettant l'accent sur les diviseurs efficaces, l'isomorphisme des semi-groupes, et la relation entre les gerbes et les espaces factoriels.
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 le concept de cohomologie de groupe, se concentrant sur les complexes de chaîne, les complexes de cochain, les produits de tasse et les anneaux de groupe.
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.
