Definition:Baire Category/Historical Note

Definition
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.