Table of Contents
Fetching ...

A variant of a Dwyer-Kan theorem for model categories

Boris Chorny, David White

Abstract

If all objects of a simplicial combinatorial model category \cat A are cofibrant, then there exists the homotopy model structure on the category of small functors $\sS^{\cat A}$, where the fibrant objects are homotopy functors, i.e., functors preserving weak equivalences. Otherwise, we argue that the bifibrant-projective model structure is an adequate substitution of the homotopy model structure. Next, we use this concept to generalize the Dwyer-Kan theorem about the Quillen equivalence of the categories of homotopy functors. We include an application to Goodwillie calculus, and we prove that the category of small linear functors from simplicial sets to simplicial sets is Quillen equivalent to the category of small linear functors from topological spaces to simplicial sets.

A variant of a Dwyer-Kan theorem for model categories

Abstract

If all objects of a simplicial combinatorial model category \cat A are cofibrant, then there exists the homotopy model structure on the category of small functors , where the fibrant objects are homotopy functors, i.e., functors preserving weak equivalences. Otherwise, we argue that the bifibrant-projective model structure is an adequate substitution of the homotopy model structure. Next, we use this concept to generalize the Dwyer-Kan theorem about the Quillen equivalence of the categories of homotopy functors. We include an application to Goodwillie calculus, and we prove that the category of small linear functors from simplicial sets to simplicial sets is Quillen equivalent to the category of small linear functors from topological spaces to simplicial sets.

Paper Structure

This paper contains 11 sections, 18 theorems, 25 equations.

Key Result

Proposition 1.3

Let $L\colon \mathscr A\to \mathscr B$ be a simplicial accessible functor between locally presentable simplicial categories. Then there exists a pair of adjoint functors between the categories of small functors If in addition $L$ has a right adjoint $R$, then $\mathop{\mathrm{\textup{Lan}}}\nolimits_L = R^*$ is given by the precomposition with $R$.

Theorems & Definitions (44)

  • Definition 1.1
  • Remark 1.2
  • Proposition 1.3
  • proof
  • Proposition 1.4
  • proof
  • Proposition 1.5
  • proof
  • Definition 2.1
  • Proposition 2.2
  • ...and 34 more