Skip to main content
1 of 3
XiaYu
  • 429
  • 2
  • 6

HTT 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*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$.”?

XiaYu
  • 429
  • 2
  • 6