• 📁 Derived Categories
• 📁 Foundations
• 📁 Operads
• The Bar Construction
• Descent Theory and Monads
• Categories and Cohomology Theories
• Six Functor Formalisms
• Symmetric Monoidal Categories