Adjunctions and Localizations for quasicategories

• Definition of adjunction as Cartesian/Co-cartesian map to Delta^1. How to get functors from this.

• Example coming from Presheaf categories (discussion starts in HTT at the bottom of page 357 and continues into Prop 5.2.6.3. (needs Prop. 5.2.4.2).

• The other main examples will be localization functors, as in Section 5.2.7. Describe the definition.

• Then skip ahead to Section 5.5.4. The goal will be to talk about localizations at a strongly saturated class of morphisms. Try to avoid the technical details about presentable quasicategories and size issues. One goal is to describe Prop. 5.5.4.15.

• Relate these to the Bousfield localizations we saw earlier.  

https://docs.google.com/document/d/1llPzCxlhWSucYymRenInm861KK-QVJxQS0MeEQZdjE8/edit