category theory Category theory is a general theory of mathematical structures and their relations. It was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. 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 (ma ...

such that *(i) It has a

zero object In category theory, a branch of mathematics, an initial object of a category is an object in such that for every object in , there exists precisely one morphism . The dual notion is that of a terminal object (also called terminal element): ...

. *(ii) Every

morphism In mathematics, a morphism is a concept of category theory that generalizes structure-preserving maps such as homomorphism between algebraic structures, functions from a set to another set, and continuous functions between topological spaces. Al ...

in it admits a

fiber Fiber (spelled fibre in British English; from ) 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 inco ...

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 ...

of a stable ∞-category is triangulated. A stable ∞-category admits finite limits 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 s ...

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 pr ...

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 o ...

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 invariant (mathematics), invariants that classification theorem, classify topological spaces up t ...

. 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 h ...

E^_r

, which, under some conditions, converges to

\pi_ \operatorname X(i).

By the Dold–Kan correspondence, 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 contained in the kernel o ...

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 commu ...

Notes

References

* Higher category theory {{categorytheory-stub