The topological universe of locally precompact semiuniform convergence spaces (Q1379809): Difference between revisions

Precompactness and local precompactness are defined in semiuniform convergence spaces; both concepts coincide in uniform spaces and local precompactness coincides with local compactness in regular topological spaces. It is shown that the class of locally precompact spaces is precompactly generated (it is a bicoreflective hull of precompact spaces) and is a topological universe (thus it is cartesian closed and quotients are finitely productive and hereditary).