I'm looking at the proof of Higher Algebra Proposition, and in the very first sentence of the proof, Lurie states:

The functor $(F\delta)_{\Sigma_n}$ is n-homogeneous by Proposition

Checking back to, I see the statement

Let $C$ be a small $\infty$-category which admits finite colimits and let $D$ be an $\infty$-category which admits finite limits and small filtered colimits. Assume that filtered colimits in $D$ are left exact. Then composition with the Yoneda embedding $j : C \to Ind(C)$ induces a fully faithful functor $$\theta : Exc^n_c (Ind(C),D)) \to Fun(C,D)$$ whose essential image is the full subcategory $Exc^n(C,D) \subset Fun(C,D)$ spanned by the n-excisive functors.

which seems totally irrelevant.

Does anyone know what the correct reference is, or if the reference is correct, how to apply the proposition to achieve the result?


The correct reference is (And the hypothesis of should refer to countable limits and colimits, rather than finite limits and colimits.)


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.