Welcome to MathOverflow

Question

13

1

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 C^op × 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?

flag	asked Jan 1 2010 at 21:00 Reid Barton 14.4k●1●28●85

Rune Haugseng · Accepted Answer · 2010-01-02 00:57:55Z UTC

6

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.

answered Jan 2 2010 at 0:57

Rune Haugseng
440●1●4

1

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 2010 at 2:40

Stable ∞-categories as spectral categories

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.