Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Triangulated category
Summary
In mathematics, a triangulated category is a with the additional structure of a "translation functor" and a class of "exact triangles". Prominent examples are the of an , as well as the . 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 of its "mirror" symplectic manifold. Shift operator is a decategorified analogue of triangulated category.
Triangulated categories were introduced independently by Dieter Puppe (1962) and Jean-Louis Verdier (1963), although Puppe's axioms were less complete (lacking the octahedral axiom (TR 4)). Puppe was motivated by the stable homotopy category. Verdier's key example was the derived category of an abelian category, which he also defined, developing ideas of Alexander Grothendieck. The early applications of derived categories included coherent duality and Verdier duality, which extends Poincaré duality to singular spaces.
A shift or translation functor on a category D is an additive automorphism (or for some authors, an auto-equivalence) from D to D. It is common to write for integers n.
A triangle (X, Y, Z, u, v, w) consists of three objects X, Y, and Z, together with morphisms , and . Triangles are generally written in the unravelled form:
or
for short.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.