Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
  
  
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorDmitri Pavlov
   • CommentTimeAug 26th 2014
   • PermaLink
   Author: Dmitri Pavlov
   Format: MarkdownItexConsider a left proper combinatorial model category C and a set of morphisms S in C. Weak equivalences in the left Bousfield localization of C with respect to S are precisely those morphisms that are inverted by the Dwyer-Kan localization of C with respect to the union of S and weak equivalences of C. Is there a written reference for this fact?

   Consider a left proper combinatorial model category C and a set of morphisms S in C.

   Weak equivalences in the left Bousfield localization of C with respect to S are precisely those morphisms that are inverted by the Dwyer-Kan localization of C with respect to the union of S and weak equivalences of C.

   Is there a written reference for this fact?

2. • CommentRowNumber2.
   • CommentAuthorZhen Lin
   • CommentTimeAug 26th 2014
   • PermaLink
   Author: Zhen Lin
   Format: MarkdownItexIs it even true? It's very close to claiming this: every localisation of a locally presentable category with respect to a small set of morphisms is a reflective localisation. But _that_ is not true.

   Is it even true? It’s very close to claiming this: every localisation of a locally presentable category with respect to a small set of morphisms is a reflective localisation. But that is not true.

3. • CommentRowNumber3.
   • CommentAuthorDmitri Pavlov
   • CommentTimeAug 26th 2014
   • PermaLink
   Author: Dmitri Pavlov
   Format: MarkdownItexI guess I really meant accessible / reflective localizations. Is there such a thing as an accessible or reflective Dwyer-Kan localization? The reason I'm interested in such a statement is a monotonicity property for left Bousfield localizations: if W₁ ⊂ W₂ are two model structures on the same category and S is a set of morphisms, then weak equivalences of L_S(W₁) are contained in weak equivalences of L_S(W₂).

   I guess I really meant accessible / reflective localizations. Is there such a thing as an accessible or reflective Dwyer-Kan localization?

   The reason I’m interested in such a statement is a monotonicity property for left Bousfield localizations: if W₁ ⊂ W₂ are two model structures on the same category and S is a set of morphisms, then weak equivalences of L_S(W₁) are contained in weak equivalences of L_S(W₂).

4. • CommentRowNumber4.
   • CommentAuthorZhen Lin
   • CommentTimeAug 26th 2014
   • PermaLink
   Author: Zhen Lin
   Format: MarkdownItexHere's a fairly straightforward special case. Let $\mathcal{M}_1$ and $\mathcal{M}_2$ be model categories where all objects in $\mathcal{M}_1$ are cofibrant and suppose we have a left Quillen functor $F : \mathcal{M}_1 \to \mathcal{M}_2$. Then for any sets $S_1 \subseteq \operatorname{mor} \mathcal{M}_1$ and $S_2 \subseteq \operatorname{mor} \mathcal{M}_2$, if $F$ sends morphisms in $S_1$ to $S_2$, then $F$ is also a left Quillen functor $L_{S_1} \mathcal{M}_1 \to L_{S_2} \mathcal{M}_2$. Indeed, if $G : \mathcal{M}_2 \to \mathcal{M}_1$ is the right adjoint, then $G$ sends (fibrant) $S_2$-local objects in $\mathcal{M}_2$ to (fibrant) $S_1$-local objects in $\mathcal{M}_1$, so $F$ must send $S_1$-local equivalences in $\mathcal{M}_1$ to $S_2$-local equivalences in $\mathcal{M}_2$. In particular, if $\mathcal{M}_1$ and $\mathcal{M}_2$ have the same underlying category, $F = id$, $S_1 = S_2$, and all objects are cofibrant, then this says $S_1$-equivalences are $S_2$-equivalences.

   Here’s a fairly straightforward special case. Let and be model categories where all objects in are cofibrant and suppose we have a left Quillen functor . Then for any sets and , if sends morphisms in to , then is also a left Quillen functor . Indeed, if is the right adjoint, then sends (fibrant) -local objects in to (fibrant) -local objects in , so must send -local equivalences in to -local equivalences in .

   In particular, if and have the same underlying category, , , and all objects are cofibrant, then this says -equivalences are -equivalences.