Given a scaled simplicial set we construct a 2-categorical version of the straightening-unstraightening adjunction furnishing an equivalence between the of outer 2-cartesian fibrations over and the of contravariant functors with values in the of we use this technology to characterize cofinal functors of via variants of the conditions of quillen s theorem.