Skip to content
The Lumenary

Practice · Research pathways

Stable ∞-categories

Stable ∞-categories

Warm-upHuman

Which of the following is the definition of a stable ∞-category?

Choose one

Stable ∞-categories

Warm-upHuman

In D(Z)\mathcal{D}(\Z), let f:Z→Zf : \Z \to \Z be multiplication by 66, with both copies of Z\Z in degree 00. How many elements does H0(cofib f)H_0(\mathrm{cofib}\, f) have?

Stable ∞-categories

CoreHuman

Pointed spaces form a pointed ∞-category with all limits and colimits. Which computation shows directly that it is not stable?

Choose one

Stable ∞-categories

CoreHuman

In the proof that a pushout loop square forces X≅0X \cong 0 in an ordinary category, we show idX=0\mathrm{id}_X = 0. Which property of the pushout is used, and how?

Choose one

Stable ∞-categories

CoreFormal

In stable_one_category_trivial, which hypothesis correctly formalises 'every fibre sequence is a cofibre sequence' for an ordinary category C with a zero object?

Choose one

Stable ∞-categories

CoreHuman

In the worked example, work over the field k=F5k = \mathbb{F}_5. How many morphisms of triangles (a,b,c)(a, b, c) from T=(k→0→k[1]→k[1])T = (k \to 0 \to k[1] \to k[1]) to T′=(0→k[1]→k[1]→0)T' = (0 \to k[1] \to k[1] \to 0) extend the square (a,b)=(0,0)(a, b) = (0, 0)?

Stable ∞-categories

StretchHuman

Why is [X,Y]=π0Map(X,Y)[X, Y] = \pi_0 \mathrm{Map}(X, Y) an abelian group in a stable ∞-category?

Choose one

Stable ∞-categories

StretchHuman

Which statements about enhancements of triangulated categories are true? (Choose all that apply.)

Choose all that apply

Stable ∞-categories

StretchComputational

A linear map f:Qm→Qnf : \mathbb{Q}^m \to \mathbb{Q}^n is given by an n×mn \times m matrix A (a list of n rows). Viewed as a map of complexes in degree 0, its cofibre is the complex Qm→AQn\mathbb{Q}^m \xrightarrow{A} \mathbb{Q}^n in degrees 1 and 0. Using the provided rank, write cone_homology(A, m, n) returning (dim H_1, dim H_0) of the cofibre.

Runs entirely in your browser, in an isolated worker. Nothing is sent to a server.