Homological algebra tools

Projective

Commutative algebra · Theoretical / proof-based

Graduate Commutative Algebra — scope drawn from open commutative algebra notes and typical US graduate commutative algebra syllabi.