  We construct an "almost involution" assigning a new DG-category to a given
one, and use this construction in order to recover, say, the abelian category
of graded modules over the graded ring $R^*$ from the DG-category of DG-modules
over a DG-ring $(R^*,d)$. This provides an appropriate technical background for
the definition and discussion of abelian and exact DG-categories. In the
setting of exact DG-categories, derived categories of the second kind are
defined in the maximal natural generality. We develop the related abstract
category-theoretic language and use it in order to formulate and prove several
full-and-faithfulness theorems for triangulated functors induced by the
inclusions of fully exact DG-subcategories. Such functors are fully faithful
for derived categories of the second kind more often than for the conventional
derived categories. Examples and applications range from the categories of
complexes in abelian/exact categories to matrix factorization categories, and
from curved DG-modules over curved DG-rings to quasi-coherent CDG-modules over
quasi-coherent CDG-quasi-algebras over schemes.
