In mathematics, a triangulated category is a category with the additional structure of a "translation functor" and a class of "exact triangles". Prominent examples are the derived category of an abelian category, as well as the stable homotopy category. The exact triangles generalize the short exact sequences in an abelian category, as well as fiber sequences and cofiber sequences in topology.
Much of homological algebra is clarified and extended by the language of triangulated categories, an important example being the theory of sheaf cohomology. In the 1960s, a typical use of triangulated categories was to extend properties of sheaves on a space X to complexes of sheaves, viewed as objects of the derived category of sheaves on X. More recently, triangulated categories have become objects of interest in their own right. Many equivalences between triangulated categories of different origins have been proved or conjectured. For example, the homological mirror symmetry conjecture predicts that the derived category of a Calabi–Yau manifold is equivalent to the Fukaya category of its "mirror" symplectic manifold. Shift operator is a decategorified analogue of triangulated category.