$p$-spaces, $M$-spaces, $\sigma$-spaces, etc. Topological spaces with richer structures mathematics