Can the Noetherian topological spaces be distinguished by looking at the category of topological spaces only?

96 Views Asked by At

A Noetherian topological space is one where every infinite descending sequence of closed sets $X_0 \supset X_1 \supset X_2 \cdots$ is eventually constant (paraphrased from Hartshorne page 5).

Assessing the Noetherianness of a given space $(X, \tau)$ using this definition, though, requires us to peer inside and look at $\tau$ specifically.

I'm curious whether we can identify which topological spaces are Noetherian by examining just the categorical structure of $\mathsf{Top}$.


I don't know very much about category theory or topology; the following is just an idea I had about how one might answer this.

I can sort of see the extremely vague beginnings of an argument where we look at ascending chains of open sets $B_0 \subset B_1 \cdots$ and we note that each open set can be thought of as a topological space $(B_i, \{z \cap B_i : z \in \tau\})$ ... and then we can talk about ascending chains of topological spaces that are subspaces of the original space $(X, \tau)$. I think the language of category theory gives me enough tools to talk about being a subspace, since I can talk about whether morphisms compose to the identity morphism and therefore I can talk about an inclusion map.

However, I don't know enough about category theory to know whether this idea will eventually succeed or whether it's inconsistent with the spirit of "examining a property of an individual thing by looking at the category it's in". Also, there might be a simpler way to characterize Noetherianness categorically.