We show that the $\mathrm{ Hom}$ functor from the category $\mathbf{ LCPAb}$ of locally compact Polish abelian groups to the category $\mathbf{ PAb}$ of Polish abelian groups has a total right derived functor, improving on Hoffmann and Spitzweck's construction of its cohomological right derived functor. We also apply the description of the left heart of subcategories of $\mathbf{ PAb}$ in terms of groups with a Polish cover and Borel-definable group homomorphisms to completely characterize the injective and projective objects in the left heart of $\mathbf{ LCPAb}$, as well as in the left heart of its full subcategories spanned by: compactly generated groups, Lie groups, totally disconnected groups, topological torsion groups, topological $p$-groups, locally compact groups of finite ranks, topological torsion groups of finite ranks, topological $p$-groups of finite ranks, and type $\mathbb{ A}$ groups.
Categories: math.GR math.CT math.GN math.LO