Move a section in quot.tex
The quot functor and representability