From 0d4166bfbce8a4fa5124cd63b4b1311a18019f9a Mon Sep 17 00:00:00 2001 From: Egbert Rijke Date: Sun, 6 Dec 2015 18:00:19 -0500 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index b09a886..db719a0 100644 --- a/README.md +++ b/README.md @@ -28,7 +28,7 @@ Jeremy Avigad, Steve Awodey, Ulrik Buchholtz, Floris van Doorn, Clive Newstead, ### Topology To Do: - fiber and cofiber sequences (is this in the library already?) -- [prespectra](http://ncatlab.org/nlab/show/spectrum+object) and spectra, suspension +- [prespectra](http://ncatlab.org/nlab/show/spectrum+object) and [spectra](http://ncatlab.org/nlab/show/spectrum), suspension - [spectrification](http://ncatlab.org/nlab/show/higher+inductive+type#spectrification) - [parametrized spectra](http://ncatlab.org/nlab/show/parametrized+spectrum), parametrized smash and hom between types and spectra - fiber and cofiber sequences of spectra, stability