added pointer to:
added pointer to:
added pointer to:
added pointer to:
added pointer to:
added pointer to:
added missing pointer to:
added pointer to:
added pointer to:
added pointer to:
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:
To the “Outlook”-section at the end, I have added pointer to:
]]>added pointer to:
added pointer to:
[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.
]]>