  We investigate the category of discrete topological spaces, with emphasis on
inverse systems of height $\omega_1$. Their inverse limits belong to the class
of $P$-spaces, which allows us to explore dimensional types of these spaces.
