Sea C una ∞-categoría estable en el sentido del DAG I de Lurie. (En particular, no asumo que C tenga todos los colímites). Entonces, C sí tiene todos los colímites finitos, el funtor de suspensión en C es una equivalencia, y C está enriquecida en Spectra de una manera que no quiero precisar demasiado (básicamente, el funtor Hom Cop × C → Espacios se factoriza a través de Spectra y hay mapas de composición en el nivel de espectros).
Ahora supongamos en cambio que C es una ∞-categoría que tiene todos los colímites finitos y viene equipada con un enriquecimiento en Spectra en el sentido anterior. Se puede mostrar fácilmente que C tiene un objeto cero que nos permite definir una suspensión en C. Supongamos que es una equivalencia. ¿Es entonces C una ∞-categoría estable? Además, ¿es el enriquecimiento en C el que proviene del hecho de que es una ∞-categoría estable?
