Given a pair of Koszul dual algebras, say $S^*(V)$ and $\bigwedge^*(V^*)$ for some vector space $V$, one obtains an a triangulated equivalence between their bounded derived categories of finitely-generated graded modules.