加载中…
Let be an algebraic triangulated category and an extension-closed subcategory with . Then has an exact structure induced from exact triangles in . Keller and Vossieck say that there exists a triangle functor extending the inclusion . We provide the missing details for a complete proof.

生成讲解博客的中文版本

生成AI智能校验的中文版本