1: \begin{abstract}

2: The construction of the derived category of an exact category can be extended to one-sided exact categories in a straightforward way.  We discuss some properties of the derived category of a (one-sided) exact category and its embedding into its derived category.

3: 

4: Our main application is the localization of a one-sided exact category $\EE$ with respect to a percolating subcategory $\AA \subseteq  \EE$.  We show that the quotient functor $\EE \to \EE / \AA$ lifts to a Verdier localization $\Db(\EE) \to \Db(\EE / \AA)$.

5: 

6: We also consider localizations of the exact category $\LCA$ of locally compact abelian groups and show that any quotient of $\LCA$ by a (left or right) percolating subcategory is again exact.  This implies that the quotients of $\LCA$ by the subcategory of compact groups or the (finitely generated) discrete groups is two-sided exact.

7: 

8: We further discuss the exact hull $\overline{\EE}$ and weak idempotent completion $\widehat{\EE}$ of a one-sided exact category $\EE$, and we show that the canonical embeddings lift to triangle equivalences on the bounded derived categories.

9: \end{abstract}