Move material on existence hocolim earlier
Split section on derived limits and colimits
Local duality a la Grothendieck

Thanks to Bhargav Bhatt

The statement is now suitably general... the cost of this generality is
that it becomes harder to get observables out of the statement...