compactly generated space
topological space
sequential space
topological space homeomorphic to a quotient of a metric space
Brauner space
complete compactly generated locally convex space with a sequence of compact sets Kₙ such that any compact set is contained in some Kₙ