diff --git a/README.md b/README.md index db719a0..e839737 100644 --- a/README.md +++ b/README.md @@ -11,6 +11,7 @@ Jeremy Avigad, Steve Awodey, Ulrik Buchholtz, Floris van Doorn, Clive Newstead, - The [Licata-Finster article](http://dlicata.web.wesleyan.edu/pubs/lf14em/lf14em.pdf) about Eilenberg-Mac Lane spaces. - We learned about the Serre spectral sequence from [Hatcher's chapter about spectral sequences](https://www.math.cornell.edu/~hatcher/SSAT/SSATpage.html). - Lang's algebra (revised 3rd edition) contains a chapter on general homology theory, with a section on spectral sequences. Thus, we can use this book at least as an outline for the algebraic part of the project. +- Mac Lane's Homology contains a lot of homological algebra and a chapter on spectral sequences, including exact couples. ## Things to do for Lean spectral sequences project