All Questions
7 questions
15
votes
1
answer
1k
views
Stable ∞-categories as spectral categories
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 ...
- 25.2k
15
votes
1
answer
504
views
Comonadicity of spaces over spectra?
As connective spectra are equivalent to group-like $E_{\infty}$ algebras in spaces, the $\infty$-category of connective spectra is monadic over the $\infty$-category of spaces though the usual $\Sigma^...
- 42.4k
13
votes
2
answers
3k
views
Why not a Stacks project for Homotopy Theory?
The lack of resources bridging the gap between what one finds in Hatcher's algebraic topology text and modern research on homotopy theory has been brought several times before on MathOverflow [1, 2, 3]...
6
votes
1
answer
818
views
Spectra and localizations of the category of topological spaces
Can we construct the category of spectra (or maybe just its homotopy category) from the category of pointed topological spaces
using some kind of localization combined with other categorical ...
- 37.8k
5
votes
1
answer
534
views
Simplicial mapping spaces, stable $\infty$-categories, and triangles
Let $C$ be a stable $\infty$-category (presentable, if you like) and let $map(-,-)$ denote the simplicial mapping space. If $X \to Y \to Z$ is a fiber sequence, and $W$ is an object, when is $map(W,X) ...
- 30.3k
3
votes
0
answers
180
views
Twisting of the power functor
Let $k$ be a field of characteristic $p$ and $D^b(k)$ be the infinity (equivalently, DG) category of perfect complexes over $k$. Let $C_p(=\mathbb{Z}/p)$ be the cyclic group on $p$ elements. For a $...
- 7,952
2
votes
1
answer
282
views
Abelian versions of straightening and unstraightening functors
Let $X$ be a quasi-category (an inner Kan complex), let $\mathfrak{C}(X)$ be its rigidification (its associated simplicial category). J. Lurie in "Higher Topos Theory" proved the following theorem 2.1....
- 9,870