Stable ∞-categories
Warm-upHumanWhich of the following is the definition of a stable ∞-category?
Which of the following is the definition of a stable ∞-category?
In , let be multiplication by , with both copies of in degree . How many elements does have?
Pointed spaces form a pointed ∞-category with all limits and colimits. Which computation shows directly that it is not stable?
In the proof that a pushout loop square forces in an ordinary category, we show . Which property of the pushout is used, and how?
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?
In the worked example, work over the field . How many morphisms of triangles from to extend the square ?
Why is an abelian group in a stable ∞-category?
Which statements about enhancements of triangulated categories are true? (Choose all that apply.)
A linear map is given by an matrix A (a list of n rows). Viewed as a map of complexes in degree 0, its cofibre is the complex 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.