Definition:Baire Category/Historical Note

Historical Note on Baire Category
The concept of categorizing topological spaces into meager and non-meager was introduced by, during his work to define what is now known as a Baire space.