michael/Spectral
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update README.md

Browse source
This commit is contained in:
Egbert Rijke 2015-12-06 18:00:19 -05:00
parent 80694430f9
commit 0d4166bfbc
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -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