I’m trying to understand “In particular, we may identify $p$-colimits of $F$ with $p$-colimits of $F_0$.” It seems that here we have $C\rightarrow C*pt$ is a homotopy pushout of right cone $C_0\rightarrow C_0*pt$ via the embedding of quasi-categories $C_0\rightarrow C$, but why?
Or, is there another way to figure out “In particular, we may identify $p$-colimits of $F$ with $p$-colimits of $F_0$.”?