countably compact; countably tight; $p$-compact; $p$-sequential
We give a straightforward topological description of a class of spaces that are separable, countably compact, countably tight and Urysohn, but not compact or sequential. We then show that this is the same class of spaces constructed by Manes [Monads in topology, Topology Appl. 157 (2010), 961--989] using a category-theoretical framework.
 Nyikos P.: Classic problems - $25$ years later (part $2)$. Topology Proc. 27 (2003), 365–378.
 Dow A.: A countably compact, countably tight, non-sequential space
. Proceedings of the 1988 Northeast Conference on General Topology and Applications, Dekker, New York, 1990, pp. 71–80. MR 1057625
| Zbl 0729.54002
 Kombarov A.: Compactness and sequentiallity with respect to a set of ultrafilters
. Moscow Univ. Math. Bull. 40 (1985), 15–18. MR 0814266
 van Mill J.: An introduction to $\beta \omega $
. Handbook of Set-Theoretic Topology, North-Holland, Amsterdam, 1984, pp. 503–567. MR 0776630
| Zbl 0555.54004