Open mauroporta opened 10 years ago
I wholeheartedly agree with using issues as a means of knowing what is still to be done. We might do some fancy stuff with labels: there are one side actual problems (build errors, etc.) and on the other we have things like this. Feel free to implement a system :).
I write it as an issue simply to not forget. If Pieter has a better suggestion to do this kind of stuff, I'll learn happily.
Some key definitions are completely missing, for example homotopically of finite presentation. I need it in chapter XI, but it is not the right place to give such a definition. The best would to give it in Chapter VIII.
More precisely:
Missing definition: homotopically of finite presentation. Reference: [HAG-II, Definition 1.2.3.1] Where it should be added: Exposé 8.
Further comments: we shouldn't give precisely the definition 1.2.3.1 of HAG-II, but only the one for cdga (or simplicial algebras).