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

Let C be a stable ∞-category in the sense of Lurie's DAG I. (In particular I do not assume that C has all colimits.) Then C does have all finite colimits, the suspension functor on C is an equivalence, and C is enriched in Spectra in a way I don't want to make too precise (basically the Hom functor Cop × C → Spaces factors through Spectra and there are composition maps on the level of spectra).

Now suppose instead that C is an ∞-category which has all finite colimits and comes equipped with an enrichment in Spectra in the above sense. One can show easily that C then has a zero object which allows us to define a suspension on C. Suppose it is an equivalence. Is C then a stable ∞-category? Moreover, is the enrichment on C the one which comes from the fact that it is a stable ∞-category?

share|cite|improve this question
up vote 8 down vote accepted

According to Corollary 8.28 in DAG I a pointed $\infty$-category is stable iff it has finite colimits and the suspension functor is an equivalence.

share|cite|improve this answer
Huh, so the enrichment in spectra is unnecessary: one only needs an enrichment in pointed spaces (to get a zero object). I wonder whether with the spectral enrichment, one can weaken one of the other hypotheses. But I don't see how. – Reid Barton Jan 2 '10 at 2:40
I have the feeling that quategorifying an old argument due to Freyd one can get an enrichment in $E_\infty$-spaces simply out of the axiom "pull iff push" in the definition of stable $\infty$-category; but I've never made this precise, so I'd like to see a counterexample or a proof! – Fosco Loregian Jun 21 '14 at 19:58

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.