Category:Either-Or Topology is Non-Meager