Any dg-category admits a pretriangulated envelope, which is a fully faithful embedding into a strongly pretriangulated dg-category. When the dg-category is itself pretriangulated, this is in fact an equivalence of dg-categories.

Let $T$ be a dg-category.

The **pretriangulated envelope** (or *pretriangulated hull*, *pretriangulated completion*) of $T$, denoted $tri(T)$, is the full sub-dg-category of the derived dg-category $D(T)$ generated by the representable dg-modules under homotopy fibres and homotopy cofibres.

Here, the notions of homotopy fibre and homotopy cofibre can be taken in a dg-model category presenting $D(T)$. Explicitly $tri(T)$ can be described as follows.

The pretriangulated envelope $tri(T)$ coincides with the full sub-dg-category of $D(T)$ spanned by the finitely generated semi-free dg-modules.

Paragraph 2.3 of

- Dmitri Orlov,
*Smooth and proper noncommutative schemes and gluing of DG categories*, arXiv:1402.7364.

Last revised on January 19, 2015 at 19:58:20. See the history of this page for a list of all contributions to it.