Introduction To Derived Algebraic Geometry Summer School: "'Large' vs `Small' Worlds: Compactly Generated Categories"