If you have a category $C$, then you can consider the category of functors $Func(C,Sets)$ from $C$ to sets. This comes with the Yoneda functor, $C^{op}\to Func(C,Sets)$, and is a generally useful thing to think about.
In $(\infty,1)$-category land, you want to start with an $(\infty,1)$-category $S$, and build the $(\infty,1)$-category of functors $Func(S,Spaces)$ from $S$ to spaces.
Lurie is describing one way to do this. Given a quasicategory $S$, he produces a closed model category $(sSet/S, covariant)$ on the slice category $sSet/S$ which "models" this functor category.
The analogy is to the "point category" construction. Given a functor $F:C\to Sets$, you can build a category $P_F$, whose objects are pairs $(c,x)$ where $c$ is an object of $C$, and $x\in F(c)$, and maps $(c,x)\to (c',x')$ are $f:c\to c'$ in $C$ such that $Ffx=x'$. Such a thing comes with a forgetful functor $U:P_F\to C$, and one can produce an equivalence of categories $$ Func(C,Sets) \qquad \Leftrightarrow\qquad (\text{certain full subcategory of $Cat/C$}). $$ The subcategory is that of the "left Grothendick fibrations", namely functors $U:D\to C$ such that given $f:c\to c'$ in $C$ and $d\in D$ such that $U(d)=c$, there is a unique $g: d\to d'$ in $D$ such that $U(g)=f$.
So, fibrant objects in Lurie's covariant model category for $sSet/S$ are supposed to look like left Grothendieck fibrations, and this model category should model "$Func(S,Spaces)$".