Mathematics

We start with an informal introduction to abelian categories, discussing the main examples (sheaves of modules on a ringed space). We then define the associated derived category, and revisit the notion of derived functors using a language different from the one in [Harsthorne, Algebraic Geometry]. In particular, we are able to define left derived functors even when the category doesn't have enough projectives. The focus of the course will be on examples from algebraic geometry; the exact content will be adapted to the interests and background knowledge of the students.

Link to the webpage of the course: Higher Algebra