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