Explores the construction and properties of morphisms, focusing on effective divisors, isomorphism of semi-groups, and the relationship between sheaves and factorial spaces.
Covers sheaves and modules, including morphisms, sheafification, cocalization, and direct image properties.
Covers the derived functor approach to Čech cohomology, emphasizing the relationship between derived functors and sheaf theory.
Covers the concept of group cohomology, focusing on chain complexes, cochain complexes, cup products, and group rings.
Covers polymorphic types in Amy, including Hindley-Milner rules, type schemes, instantiation, and handling type variables in functions.
