We show that various derived categories of torsion modules and contramodules over the adic completion of a commutative ring by a weakly proregular ideal are full subcategories of the related derived categories of modules. By the work of Dwyer–Greenlees and Porta–Shaul–Yekutieli, this implies an equivalence between the (bounded or unbounded) conventional derived categories of the abelian categories of torsion modules and contramodules. Over the adic completion of a commutative ring by an arbitrary finitely generated ideal, we obtain an equivalence between the derived categories of complexes of modules with torsion and contramodule cohomology modules. We also define two versions of the notion of a dedualizing complex over the adic completion of a commutative ring, one for an ideal with an Artinian quotient ring and the other one for a weakly proregular ideal, and use these to construct equivalences between the conventional as well as certain exotic derived categories of the abelian categories of torsion modules and contramodules. The philosophy of derived co–contra correspondence is discussed in the introduction.