added pointer to:

- James Munkres,
*Elements of Algebraic Topology*, Addison-Wesley (1984) $[$pdf$]$

added pointer to:

- Peter Hilton,
*Subjective History of Homology and Homotopy Theory*, Mathematics Magazine**61**5 (1988) 282-291 $[$doi:10.2307/2689545$]$

added pointer to:

- Ioan Mackenzie James,
*General Topology and Homotopy Theory*, Springer 1984 (doi:10.1007/978-1-4613-8283-6)

added pointer to:

- Brayton Gray,
*Homotopy Theory An Introduction to Algebraic Topology*, Academic Press (1975) $[$ISBN:978-0-12-296050-5$]$

added pointer to:

- Joseph J. Rotman,
*An Introduction to Algebraic Topology*, Graduate Texts in Mathematics**119**(1988) $[$doi:10.1007/978-1-4612-4576-6$]$

added missing pointer to:

- Kenneth S. Brown,
*Abstract Homotopy Theory and Generalized Sheaf Cohomology*, Transactions of the American Mathematical Society**186**(1973) 419-458 $[$jstor:1996573$]$.

added pointer to:

- Martin Arkowitz,
*Introduction to Homotopy Theory*, Springer (2011) $[$doi:10.1007/978-1-4419-7329-0$]$

added pointer to:

- C. R. F. Maunder,
*Algebraic Topology*, Cambridge University Press, Cambridge (1970, 1980) $[$pdf$]$

added pointer to:

- Dan Licata:
*Homotopy theory in type theory*(2013) $[$pdf slides, blog entry 1, blog entry 2$]$

I have removed the new addition here (left a pointer) and instead gave it its own new entry:

and `!include`

-ed this into the list of references at *homotopy type theory* (here)

Wait, this doesn’t work well. Notice that the TOC-items which you just added are more than the entire rest of the list.

But this list is for general texts on homotopy theory/algebraic topology. Individual results and topics must be listed elsewhere.

What you are after here is instead something like:

]]>copied references for formalized homotopy theory over from the HoTT wiki

Anonymous

]]>added pointer to:

- William S. Massey,
*Algebraic Topology: An Introduction*, Harcourt Brace & World 1967, reprinted in: Graduate Texts in Mathematics, Springer 1977 (ISBN:978-0-387-90271-5)

To the “Outlook”-section at the end, I have added pointer to:

]]>added pointer to:

- Edgar Brown,
*Abstract homotopy theory*, Trans. AMS 119 no. 1 (1965) (doi:10.1090/S0002-9947-1965-0182970-6)

added pointer to:

- Henri Poincaré,
*Analysis Situs*, Journal de l’École Polytechnique. (2). 1: 1–123 (gallica:12148/bpt6k4337198/f7)

[deleted]

]]>Sounds good. Thanks!

]]>[deleted]

]]>Okay, I see.

I wouldn’t rush for automation here (but I am also not worried that it will be implemented soon…) since there is crucial semantic value in expert humans (us!) adding commentary, cross-links and organization to a list of references

I suggest: Let’s keep your list of books in mind, but let’s proceed with adding references by hand, whenever we happen to need them, or whenever a particularly classical or otherwise noteworthy textbook or article seems to be missing in a list.

]]>[deleted]

]]>Hi Théo,

oh, now I see that you had sent me an email with an invite to your repository.

Have now browsed around there a little. I find a list of links that open pdf-s with copies of books. Is that what you are pointing me to?

Right, that’s a good list. But it seems some work is necessary to turn this into items usable in our entry here.

]]>Hi Théo,

thanks. But did you mean to give me a link? If you don’t want to be adding to the nLab entry here yourself, maybe the easiest would be if you copy-and-paste whatever you have into the *Sandbox* here. Then we can see what to do with it.

[deleted]

]]>