Theorem 2.3 ([11], Theorem 1.3). Let be a triangulated category with set indexed coproducts. Suppose is a compact rigid object of and assume that is a generating set for . Then the following forms a non-degenerate -structure on :
Moreover, its heart is an admissible abelian subcategory of in the sense of [3], and the functor
is an equivalence of categories.