Baire Space is Non-Meager

Theorem
Let $T = \left({S, \tau}\right)$ be a Baire space (in the context of topology).

Then $T$ is of the second category in $T$.

Proof
From Baire Space iff Open Sets are Second Category, all open sets of $T$ are of the second category in $T$.

But $T$ itself is an open set of $T$ by definition of topological space.

Hence the result.