From bf74676b0f6890ca8ac2067ece5a2aa811b7630e Mon Sep 17 00:00:00 2001 From: Egbert Rijke Date: Fri, 4 Dec 2015 16:53:35 -0500 Subject: [PATCH] Update README.md --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 36b9c26..eb28633 100644 --- a/README.md +++ b/README.md @@ -5,7 +5,8 @@ Formalization project of the CMU HoTT group towards formalizing the Serre spectr Currently in the project: Jeremy Avigad, Steve Awodey, Ulrik Buchholtz, Floris van Doorn, Egbert Rijke, Mike Shulman. ## Resources -- [Mike's blog post](http://homotopytypetheory.org/2013/08/08/spectral-sequences/) +- [Mike's blog post](http://homotopytypetheory.org/2013/08/08/spectral-sequences/) at the HoTT blog. +- [Mike's blog post](https://golem.ph.utexas.edu/category/2013/08/what_is_a_spectral_sequence.html) at the n-category café. - 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.