Koszul duality and equivalences of categories

Let and be dual Koszul algebras. By Positselski a filtered algebra with gr is Koszul dual to a differential graded algebra . We relate the module categories of this dual pair by a Hom adjunction. This descends to give an equivalence of suitable quotient categories and generalizes work of Beilinson, Ginzburg, and Soergel.