MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given a stable quasicategory $C$, what are the conditions required of a subcategory for it to descend to a localizing subcategory in $Ho(C)$? Is it enough for it to be reflective? Perhaps exact and reflective?

Thanks, Jon

share|cite|improve this question
Do you mean in the sense of Hovey, Palmieri, and Strickland's book? I'm pretty sure that this is equivalent to saying that the subcategory is closed under colimits. (A useful reference here is of Lurie's "Higher Algebra.") The point is that once your subcategory has all coproducts and is stable, you get all colimits for free. – Akhil Mathew Nov 15 '12 at 1:09
Yes I do. Thanks, I will check out Lurie's book. – Jon Beardsley Nov 15 '12 at 1:50
Your question rises a nice point, ¿are all localizing subcategories of a triangulated categories reflective? I think that, so far, the answer is only known 'up to set theory'. – Fernando Muro Nov 15 '12 at 8:59
Yeah, that is an interesting question to me as well Fernando. However, @Akhil, I feel that maybe being closed under all colimits is too strong a condition? – Jon Beardsley Nov 15 '12 at 16:45

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.