added HoTT Book Chapter 8 to do

This commit is contained in:
Steve Awodey 2016-01-21 14:25:17 -05:00
parent 5f11c03d60
commit 392ee8555a

View file

@ -28,6 +28,7 @@ Jeremy Avigad, Steve Awodey, Ulrik Buchholtz, Floris van Doorn, Clive Newstead,
- [convergence of spectral sequences](http://ncatlab.org/nlab/show/spectral+sequence#ConvergenceOfSpectralSequences)
### Topology To Do:
- HoTT Book chapter 8
- fiber and cofiber sequences (is this in the library already?)
- [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)