Skip to main content
2 of 3
formatting
YCor
  • 63.9k
  • 5
  • 187
  • 286

In Lurie's "Higher topos theory" lemma.4.3.2.7

I’m trying to understand “In particular, we may identify $p$-colimits of $F$ with $p$-colimits of $F_0$.” enter image description here It seems that here we have $C\rightarrow C*\mathrm{pt}$ is a homotopy pushout of right cone $C_0\rightarrow C_0*\mathrm{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$.”?

XiaYu
  • 429
  • 2
  • 6