Fibrations and Adjunctions for quasicategories

Cartesian and co-Cartesian morphisms. Maybe other fibrations in used for adjunctions.  

Definition of Adjunction via correspondences (See sect 5.2.1 and 5.2.2 in HTT)

Statement of Prop 5.2.1.3 (HTT) (probably skip the proof)

Prop. 5.2.3.5, sketch of proof.