This modern approach to homological algebra by two leading writers in the field is based on the systematic use of the language and ideas of derived categories and derived functors. It describes relations with standard cohomology theory and provides complete proofs. Coverage also presents basic concepts and results of homotopical algebra. This second edition contains numerous corrections.