1: \begin{abstract}

2:  We develop Tannaka duality theory for dg categories. To any dg functor from a dg category $\cA$ to finite-dimensional complexes, we associate a dg coalgebra $C$ via a Hochschild homology construction. When the functor is faithful, this gives a quasi-equivalence between the derived dg categories of $\cA$-modules and of $C$-comodules. When $\cA$ is Morita  fibrant (i.e. an enhanced idempotent-complete triangulated  category), it is thus quasi-equivalent to the derived dg category of compact $C$-comodules. We give several applications for pro-algebraic homotopy types associated to various cohomology theories, and for motivic Galois groups.

3: \end{abstract}

4: