Adjoint functor theorem
Use more general argument in dpa.tex
Fix up a bit in resolve.tex