Any stable (∞,1)-category gives rise to a canonical triangulated category , its homotopy category. Much of the information contained in is still present in , so that in many situations it can be enough to work at the level of triangulated categories. However, in general various problems with triangulated categories require one to work with some sort of higher structure lying above . Such a structure is often called an enhancement of the triangulated category . Examples of enhanced triangulated categories are, in order of increasing information:
After Jean-Louis Verdier started the development of the theory of triangulated categories in his 1963 thesis, it was quickly recognized that some sort of enhancements were necessary to get the full picture. For this purpose, Alexandre Grothendieck suggested the notion of derivator in the early 1980’s, while Alexei Bondal and Mikhail Kapranov developed the notion of pretriangulated dg-category in 1990. In 2006 Jacob Lurie developed the notion of stable (∞,1)-category.
(to be expanded on)
In (Cohn 13) it is shown that the (∞,1)-category of idempotent complete pretriangulated dg-categories over a commutative ring is equivalent to the (∞,1)-category of stable k-linear (∞,1)-categories. See pretriangulated dg-category for details.
In (Renaudin 2006) it is shown that the 2-category of locally presentable derivators is equivalent to the localization of the 2-category of combinatorial model categories at the Quillen equivalences. Combinatorial model categories are equivalent to locally presentable (∞,1)-categories in a sense made precise there. However, a comparison between the stability conditions in the derivator and (∞,1)-category settings seems still to be open.
See the above pages for references.