Calculus of functors and model categories. II (Q470704)

The concept of \(n\)-excisive functor was introduced in [\textit{T. G. Goodwillie}, K-Theory 5, No. 4, 295--332 (1992; Zbl 0776.55008)] in order to approximate homotopy functors from spaces to spaces or from spaces to spectra. An \(n\)-excisive functor is a homotopy invariant functor that takes certain kinds of homotopy colimit diagrams to homotopy limit diagrams. Homogeneous functors are \(n\)-excisive functors with trivial \((n-1)\)-excisive part, and they are classified in [\textit{T. G. Goodwillie}, Geom. Topol. 7, 645--711 (2003; Zbl 1067.55006)] In a previous joint work with B. Chorny [\textit{G. Biedermann} et al., ``Calculus of functors and model categories'', Adv. Math. 214, No. 1, 92--115 (2007; Zbl 1125.55011)] the authors of the present paper gave a classification for homogeneous functors in the context of an \(n\)-homogeneous model structure on the category Fun\((\mathcal{S^{\mathrm{fin}}},\mathrm{Sp})\) of functors from finite pointed simplicial sets to Bousfield-Friedlander spectra, strengthening the Goodwillie classification. In this paper they provide model structures on Fun\((\mathcal{C},\mathcal{D})\) and Quillen equivalences between them. This applies, in particular, to \(\mathcal{C}=\mathcal{S}^{\mathrm{fin}}\) and \(\mathcal{D}=\mathcal{S}\) (pointed finite simplical sets and pointed simplicial sets, respectively) generalizing their previous work. After an introduction and some prerequisites on enriched categories, the projective model structure on functor categories is presented in section 2. The Goodwillie's cross effect of a homotopy functor \(F\) is a functorial construction that measures the failure of \(F\) to be excisive. Section 3 describes this construction as a Quillen functor between appropriate model categories. Then, a model structure in which every functor is weakly equivalent to a homotopy functor is presented on a category of enriched simplicial functors in section 4. Next, the homotopy functor model structures on the various functor categories are localized in such a way that every functor is weakly equivalent to an \(n\)-excisive functor (section 5), producing \(n\)-excisive model structures. Section 6 introduces homogeneous model structures and completes the classification of homogeneous functors.