Dwyer-Kan localization revisited

@article{Hinich2013DwyerKanLR,
  title={Dwyer-Kan localization revisited},
  author={Vladimir Hinich},
  journal={arXiv: Quantum Algebra},
  year={2013}
}
  • V. Hinich
  • Published 17 November 2013
  • Mathematics
  • arXiv: Quantum Algebra
A version of Dwyer-Kan localization in the context of infinity-categories and simplicial categories is presented. Some results of the classical papers by Dwyer and Kan on simplicial localization are reproven and generalized. It is proven that a Quillen pair of model categories gives rise to an adjoint pair of the DK localizations. Also a result on localization of a family of infinity-categories is proven. This, in particular, is applied to localization of symmetric monoidal infinity-categories… 
View PDF on arXiv
73 Citations
Highly Influential Citations
7
Background Citations
9
Methods Citations
2
Results Citations
1

73 Citations

An $\infty$-categorical localisation functor for diagrams of simplicial sets
Associated to each small category C , there is a category of C -shaped diagrams of simplicial sets and an ∞ -category of N C -shaped homotopy coherent diagrams of spaces. We present a functor which…
Rectification of enriched infinity-categories
We prove a rectification theorem for enriched infinity-categories: If V is a nice monoidal model category, we show that the homotopy theory of infinity-categories enriched in V is equivalent to the…
Covariant Model Structures and Simplicial Localization
In this paper we prove that for any simplicial set $B$, there is a Quillen equivalence between the covariant model structure on $\mathbf{S}/B$ and a certain localization of the projective model…
Coalgebras in the Dwyer-Kan localization of a model category
We show that weak monoidal Quillen equivalences induce equivalences of symmetric monoidal $\infty$-categories with respect to the Dwyer-Kan localization of the symmetric monoidal model categories.…
Global algebraic K-theory is Swan K-theory
We construct an equivalence between Hausmann’s model of global stable homotopy theory in terms of symmetric spectra on the one hand and spectral Mackey functors in the sense of Barwick on a certain…
A note on the (∞,n)–category of cobordisms
In this note we give a precise definition of fully extended topological field theories a la Lurie. Using complete n-fold Segal spaces as a model, we construct an $(\infty,n)$-category of…
Rectification of Algebras and Modules
Let O be a topological (colored) operad. The Lurie ∞- category of O-algebras with values in (∞-category of) complexes is compared to the ∞-category underlying the model category of (clas- sical) dg…
So, what is a derived functor?
  • V. Hinich
  • Mathematics
    Homology, Homotopy and Applications
  • 2020
In the context of infinity categories, we rethink the notion of derived functor in terms of correspondences. This is especially convenient for the description of a passage from an adjoint pair (F,G)…
Pro-categories in homotopy theory
The goal of this paper is to prove an equivalence between the model categorical approach to pro-categories, as studied by Isaksen, Schlank and the first author, and the $\infty$-categorical approach,…
On rectification and enrichment of infinity properads
We develop a theory of infinity properads enriched in a general symmetric monoidal infinity category. These are defined as presheaves, satisfying a Segal condition and a Rezk completeness condition,…
...
...

References

SHOWING 1-10 OF 22 REFERENCES
A characterization of simplicial localization functors and a discussion of DK equivalences
Rectification of enriched infinity-categories
We prove a rectification theorem for enriched infinity-categories: If V is a nice monoidal model category, we show that the homotopy theory of infinity-categories enriched in V is equivalent to the…
Calculating simplicial localizations
Function complexes in homotopical algebra
Rectification of Algebras and Modules
Let O be a topological (colored) operad. The Lurie ∞- category of O-algebras with values in (∞-category of) complexes is compared to the ∞-category underlying the model category of (clas- sical) dg…
Homological algebra of homotopy algebras
We define closed model category structures on different categories connected to the world of operad algebras over the category C(k) of (unbounded) complexes of k-modules: on the category of operads,…
Deformations of sheaves of algebras
Model categories and their localizations
Localization of model category structures: Summary of part 1 Local spaces and localization The localization model category for spaces Localization of model categories Existence of left Bousfield…
Higher Topos Theory
This purpose of this book is twofold: to provide a general introduction to higher category theory (using the formalism of "quasicategories" or "weak Kan complexes"), and to apply this theory to the…
Combinatorial Model Categories Have Presentations
Abstract We show that every combinatorial model category is Quillen equivalent to a localization of a diagram category (where “diagram category” means diagrams of simplicial sets). This says that…
...
...