Fix an error

While reviewing the material on cohomology and base change we found
a mistake in the proof of Lemma lemma-base-change-RHom. The mistake is
fatal in the sense that we don't know if the result is true as it was
stated. The fix is to assume that the object E is a perfect complex (as
opposed to just pseudo-coherent).

We also reorganized the material somewhat. We intend to add a fifth
section on cohomology and base change in the near future (removing some
of the Noetherian hypotheses by limit arguments).
Fix an error

Analogue of the change in

3788c0a95f00fb89e42b858c6a342a0b830c1d4b

for algebraic spaces
Nonnoetherian cohomology and base change statements

Combining the already existing results with Noetherian approximation
yields this result.

Thanks to Brian Osserman for pointing this out.
Nonnoetherian cohomology and base change statements

Analogue of c8283da6deff49e29a3d66d3d43cd17608271852 for algebraic
spaces.
Tags: Added new tags