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)

It’s my pleasure! :)

]]>Sounds good. Thanks!

]]>Okay! I’ll start going again over that list (to add missing references there) and then add its entries here :)

]]>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.

]]>Hi Urs,

If you don’t want to be adding to the nLab entry here yourself […]

I’m happy to add them! It’s just that I want to first finish compiling more references in that folder before starting to add them here.

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?

Yep, it’s mostly a list of references (papers, books, lecture notes, etc.) divided by topic.

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

Yes, definitely it needs some work! I wonder if one could partly automatise this by running it through Zotero or something…

]]>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.

Hi Urs,

Sorry for the delay to reply; I’ve added you to the GitHub repo I mentioned above. There you’ll find the references in #3 in the “Homotopy Theory/Algebraic Topology/” folder.

I haven’t yet finished organising the basic algebraic topology references there however; I’ll make a note to add them here too once that’s done!

]]>added pointer to:

- Renzo A. Piccinini,
*Lectures on Homotopy Theory*, Mathematics Studies**171**, North Holland 1992 (ISBN:978-0-444-89238-6)

have added these pointers:

Peter J. Hilton,

*An introduction to homotopy theory*, Cambridge University Press 1953 (doi:10.1017/CBO9780511666278)Sze-Tsen Hu,

*Homotopy Theory*, Academic Press 1959 (pdf)

Yes, let’s add all this! Thanks.

Let’s just try to group the material in some helpful way. So far I have tried to group by “Textbooks” and “Lecture notes” etc, but as we add more it might make sense to further distinguish between “basic” and “advanced” or similar.

But not to worry about that too much, as it can always be adjusted. If you could add the items from your list that would be great!

]]>Hi Urs,

I have a big folder containing some more references, e.g.:

[Adams, 308 Pages] Algebraic Topology ― A Student’s Guide.pdf

[Adhikari, 628 Pages] Basic Algebraic Topology and its Applications.pdf

[AGP, 510 Pages] Algebraic Topology From a Homotopical Viewpoint.pdf

[Arkowitz, 359 Pages] Introduction to Homotopy Theory.pdf

[Baues, 72 Pages] Homotopy Types.pdf

[BBR, 215 Pages] Algebraic Topology.pdf

[BHM, 121 Pages] Algebraic Topology.pdf

[Botteron, 69 Pages] The Dold–Thom theorem.pdf

[Bourbaki 28, 512 Pages] Topologie Algébrique.pdf

[Bourgin, 557 Pages] Modern Algebraic Topology.pdf

[Bredon, 571 Pages] Topology and Geometry.pdf

[Brown, 539 Pages] Topology and Groupoids.pdf

[BT, 342 Pages] Differential Forms in Algebraic Topology.pdf

[Chandrahas, 84 Pages] On joins and construction of K(G,1) spaces.pdf

[Deo, 351 Pages] Algebraic Topology.pdf

[DG, 97 Pages] Algebraic Topology.pdf

[DK, 376 Pages] Lecture Notes in Algebraic Topology.pdf

[Dold, 390 Pages] Lectures on Algebraic Topology.pdf

[DP, 422 Pages] A User’s Guide to Algebraic Topology.pdf

[Ellis, 546 Pages] An Invitation to Computational Homotopy.pdf

[ES, 343 Pages] Foundations of Algebraic Topology.pdf

[FF, 635 Pages] Homotopical Topology.pdf

[FR, 542 Pages] Beginner’s Course in Topology: Geometric Chapters.pdf

[FT, 258 Pages] Topologie Algébrique ― Cours et Exercises Corrigés.pdf

[Fuchs, 56 Pages] Classical Manifolds.pdf

[Fulton, 435 Pages] Algebraic Topology.pdf

[GH, 321 Pages] Algebraic Topology.pdf

[Ghrist, 267 Pages] Elementary Applied Topology.pdf

[Ginot, 136 Pages] Topologie Algébrique.pdf

[Godbillon, 250 Pages] Elements de Topologie Algebrique.pdf

[Gray, 383 Pages] Homotopy Theory.pdf

[Grüning, 74 Pages] Lens Spaces.pdf

[GvD, 97 Pages] Algebraic Topology.pdf

[Hatcher, 559 Pages] Algebraic Topology

[Haugseng, 190 Pages] Algebraic Topology.pdf

[Hesselholt, 232 Pages] Algebraic Topology.pdf

[Hu, 255 Pages] Homology Theory.pdf

[HW, 498 Pages] Homology Theory.pdf

[JL, 301 Pages] Invitation à la Topologie Algébrique II.pdf

[JL, 301 Pages] Invitation à la Topologie Algébrique I.pdf

[Kalajdzievski, 481 Pages] An Illustrated Introduction to Topology and Homotopy.pdf

[KL, 373 Pages] Algebraic Topology via Differential Geomtry.pdf

[Kobin, 686 Pages] Topology.pdf

[Kosniowski, 274 Pages] A First Course in Algebraic Topology.pdf

[Kupers, 314 Pages] Advanced Algebraic Topology.pdf

[Lahiri, 126 Pages] A First Course in Algebraic Topology.pdf

[Lamers, 42 Pages] Homotopy groups of spheres using the Pontryagin theorem.pdf

[Lawson, 404 Pages] Topology.pdf

[Lazarescu, 81 Pages] Lens Spaces.pdf

[Löh, 344 Pages] Algebraic Topology.pdf

[Looijenga, 49 Pages] Algebraic Topology ― An Introduction.pdf

[Massey, 278 Pages] Singular Homology Theory.pdf

[Massey, 282 Pages] Algebraic Topology: An Introduction.pdf

[Matveev, 107 Pages] Lectures on Algebraic Topology.pdf

[Maunder, 382 Pages] Algebraic Topology.pdf

[Maxim, 123 Pages] Lecture Notes on Homotopy Theory and Applications.pdf

[Maxim, 127 Pages] Topology.pdf [May, 251 Pages] A Concise Course in Algebraic Topology.pdf

[Mazel-Gee, 34 Pages] Algebraic Topology.pdf

[Miller, 115 Pages] Lectures on Algebraic Topology I.pdf

[Miller, 121 Pages] Lectures on Algebraic Topology II.pdf

[MP, 544 Pages] More Concise Algebraic Topology.pdf

[MPR, 420 Pages] Geometry and Topology of Manifolds: Surfaces and Beyond.pdf

[Munkres, 464 Pages] Elements of Algebraic Topology.pdf

[Neisendorfer, 576 Pages] Algebraic Methods in Unstable Homotopy Theory.pdf

[Novikov, 326 Pages] Topology.pdf

[Péroux, 32 Pages] Les Fibrés en Homotopie.pdf

[Peterson, 97 Pages] Topology From an Algebraic Viewpoint.pdf

[Piccinini, 307 Pages] Lectures on Homotopy Theory.pdf

[Roberts, 119 Pages] Algebraic Topology.pdf

[Rotman, 447 Pages] An Introduction to Algebraic Topology.pdf

[Sato, 124 Pages] Algebraic Topology - An Intuitive Approach.pdf

[Sato, 124 Pages] Algebraic Topology.pdf

[Selick , 212 Pages] Introduction to Homotopy Theory.pdf

[Sergeraert, 72 Pages] Introduction to Combinatorial Homotopy Theory.pdf

[Shastri, 548 Pages] Basic Algebraic Topology.pdf

[Smirnov, 249 Pages] Simplicial and Operad Methods in Algebraic Topology.pdf

[Stern, 83 Pages] Notes for Advanced Algebraic Topology.pdf

[Switzer, 541 Pages] Algebraic Topology.pdf

[tom Dieck, 580 Pages] Algebraic Topology.pdf

[VF, 102 Pages] Homology and Cohomology.pdf

[VF, 93 Pages] Introduction to Homotopy Theory.pdf

[Vick, 258 Pages] Homology Theory.pdf

[Warner, 944 Pages] Topics in Topology and Homotopy Theory.pdf

[Weintraub, 169 Pages] Fundamentals of Algebraic Topology.pdf

[Whitehead, 764 Pages] Elements of Homotopy Theory.pdf

[Wu, 169 Pages] Lecture Notes on Algebraic Topology.pdf

[Zisman, 257 Pages] Topologie Algébrique Elémentaire.pdf

for the basic algebraic topology ones (there are also other things there, like references on $\infty$-categories, rational homotopy, etc.). I think maybe it might be helpful for building this page on homotopy theory references. It is currently hosted in a github repo; would you like to be added to there?

]]>Just to say that this is not meant to be perfect in any way. I just stitched this together from the material we had in various entries. Let’s work on this entry here and imrprove it for organization and completeness.

But – I suggest – let’s try to be have a comprehensive list of reference only regarding references that can be regarded as being on homotopy theory and/or algebraic proper, while on the topics of $\infty$-category theory, homotopy type theory etc. this list here should just contain some basics.

]]>following discussion here I am starting an entry with a bare list of references (sub-sectioned), to be `!include`

-ed into the References sections of relevant entries (mainly at *homotopy theory* and at *algebraic topology*) for ease of updating and syncing these lists.

The organization of the subsections and their items here needs work, this is just a start. Let’s work on it.

I’ll just check now that I have all items copied, and then I will `!include`

this entry here into *homotopy theory* and *algebraic topology*. It may best be *viewed* withing these entries, because there – but not here – will there be a table of contents showing the subsections here.