Original: Category ( topology ) in the context of Baire spaces
Simplified: Category ( topology )