In category theory, a branch of mathematics, a stable ∞-category is an

∞-category In mathematics, more specifically category theory, a quasi-category (also called quasicategory, weak Kan complex, inner Kan complex, infinity category, ∞-category, Boardman complex, quategory) is a generalization of the notion of a category. T ...

such that *(i) It has a zero object. *(ii) Every

morphism In mathematics, particularly in category theory, a morphism is a structure-preserving map from one mathematical structure to another one of the same type. The notion of morphism recurs in much of contemporary mathematics. In set theory, morphis ...

in it admits a

fiber Fiber or fibre (from la, fibra, links=no) is a natural or artificial substance that is significantly longer than it is wide. Fibers are often used in the manufacture of other materials. The strongest engineering materials often incorpora ...

and cofiber. *(iii) A triangle in it is a fiber sequence if and only if it is a cofiber sequence. The

homotopy category In mathematics, the homotopy category is a category built from the category of topological spaces which in a sense identifies two spaces that have the same shape. The phrase is in fact used for two different (but related) categories, as discussed b ...

of a stable ∞-category is triangulated. A stable ∞-category admits finite

limit Limit or Limits may refer to: Arts and media * ''Limit'' (manga), a manga by Keiko Suenobu * ''Limit'' (film), a South Korean film * Limit (music), a way to characterize harmony * "Limit" (song), a 2016 single by Luna Sea * "Limits", a 2019 ...

s and

colimit In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products, pullbacks and inverse limits. The dual notion of a colimit generalizes constructions su ...

s. Examples: the

derived category In mathematics, the derived category ''D''(''A'') of an abelian category ''A'' is a construction of homological algebra introduced to refine and in a certain sense to simplify the theory of derived functors defined on ''A''. The construction pro ...

of an

abelian category In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties. The motivating prototypical example of an abelian category is the category of ...

and the ∞-category of spectra are both stable. A stabilization of an

''C'' having finite limits and base point is a functor from the stable ∞-category ''S'' to ''C''. It preserves limit. The objects in the image have the structure of infinite loop spaces; whence, the notion is a generalization of the corresponding notion ( stabilization (topology)) in classical

algebraic topology Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classif ...

. By definition, the t-structure of a stable ∞-category is the t-structure of its homotopy category. Let ''C'' be a stable ∞-category with a t-structure. Then every filtered object

X(i), i \in \mathbb

in ''C'' gives rise to a

spectral sequence In homological algebra and algebraic topology, a spectral sequence is a means of computing homology groups by taking successive approximations. Spectral sequences are a generalization of exact sequences, and since their introduction by , they hav ...

E^_r

, which, under some conditions, converges to

\pi_ \operatorname X(i).

By the

Dold–Kan correspondence In mathematics, more precisely, in the theory of simplicial sets, the Dold–Kan correspondence (named after Albrecht Dold and Daniel Kan) states that there is an Equivalence of categories, equivalence between the category of (nonnegatively graded) ...

, this generalizes the construction of the

associated to a filtered

chain complex In mathematics, a chain complex is an algebraic structure that consists of a sequence of abelian groups (or modules) and a sequence of homomorphisms between consecutive groups such that the image of each homomorphism is included in the kernel of ...

abelian group In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is com ...

Notes

References

* Higher category theory {{categorytheory-stub