Strongly triangulated categories coming from $A_\infty$-categories

Strongly triangulated categories are defined by Maltsiniotis, based on works of Neeman on K-theory of triangulated categories. Besides usual distinguished triangles a strongly triangulated category deals with distinguished octahedra and their higher analogs. We prove that zeroth homology of a pretriangulated $A_\infty$-category is strongly triangulated.

Volodymyr Lyubashenko's homepage