Fix some indices

TODO: We need to change the order of some of the tensor products
in a few places to conform to the standard that

Hom(V, W) = W* \otimes V
Internal hom (pseudo-coherent) x D^+_QCoh ---> D^+_QCoh

Both for schemes and for algebraic spaces
Sections with exact support

Just a skeleton section
Fix two typos
Moved three sections earlier

Proj dim, Inj dmi, RHom in algebra
A couple of new references
Relating sheafy version of RHom(O_Z, -) to algebraic version

The argument is not complete...