1: \begin{abstract}

2: We prove that the category $\mathcal{M}$ of abelian groups with a Polish

3: cover introduced in collaboration with Bergfalk and Panagiotopoulos is the

4: left heart of (the derived category of) the quasi-abelian category $\mathcal{%

5: A}$ of abelian Polish groups in the sense of Beilinson--Bernstein--Deligne

6: and Schneiders. Thus, $\mathcal{M}$ is an abelian category containing $%

7: \mathcal{A}$ as a full subcategory such that the inclusion functor $\mathcal{%

8: A}\rightarrow \mathcal{M}$ is exact and finitely continuous. Furthermore, $%

9: \mathcal{M}$ is uniquely characterized up to equivalence by the following

10: universal property: for every abelian category $\mathcal{B}$, a functor $%

11: \mathcal{A}\rightarrow \mathcal{B}$ is exact and finitely continuous if and

12: only if it extends to an exact (and necessarily finitely continuous) functor 

13: $\mathcal{M}\rightarrow \mathcal{B}$.

14: 

15: We provide similar descriptions of the left heart of the following

16: categories: non-Archimedean abelian Polish groups; (non-Archimedean) Polish $%

17: G$-modules, for a given Polish group or Polish ring $G$; Fr\'{e}chet spaces

18: over $K$ for a given separable complete non-Archimedean valued field $K$.

19: \end{abstract}