Derived Functor ApproachCovers the derived functor approach to Čech cohomology, emphasizing the relationship between derived functors and sheaf theory.
Group CohomologyCovers the concept of group cohomology, focusing on chain complexes, cochain complexes, cup products, and group rings.
Polymorphic Types in AmyCovers polymorphic types in Amy, including Hindley-Milner rules, type schemes, instantiation, and handling type variables in functions.