The Exact Completion of the Category of Polish Groups

Abstract

This article shows that the exact completion as a regular category of the homological category of Polish groups and continuous group homomorphisms is the category of groups with a Polish cover and Borel-definable group homomorphisms. We also obtain several equivalent characterizations for the morphisms in the exact completion. An analogous description is deduced for several important subcategories of the category of Polish groups.