Some topological spaces which admit a category measure
Let X be a topological space. A category measure m on X is a countably additive finite measure defined on the \(\sigma\)-algebra formed by all sets with the Baire property, such that \(m(E)=0\) iff E is of Baire first category. It is known that one can define a density topology on every space of finite measure X such that X becomes a category measure space. Some conditions are given for a topological space to be a category measure space.
scientific article; zbMATH DE number 3940236