I’m trying to understand “In particular, we may identify $p$-colimits of $F$ with $p$-colimits of $F_0$.”
[![enter image description here][1]][1]
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$.”?


  [1]: https://i.sstatic.net/5LcTL.jpg