From 392ee8555afbc0990bb6125b4083093467dab8fe Mon Sep 17 00:00:00 2001 From: Steve Awodey Date: Thu, 21 Jan 2016 14:25:17 -0500 Subject: [PATCH] added HoTT Book Chapter 8 to do --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index e839737..e1732ce 100644 --- a/README.md +++ b/README.md @@ -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)