Adjointness of tensor + hom and application

The application is that if you have a compact object K of
D(O) where O is a sheaf of rings on a ringed site, then
you get an embedding of D(E) into D(O) where E is the dga
of endomorphisms of K.

Still a bit rough here and there.