Refer to new topology material in algebra chapter
Characterize weakly contractible' spectral spaces

What is good terminology?
A bit more small thngs in proetale.tex