# What is the dual category of topological spaces? [duplicate]

What is the dual category of topological spaces $Top$?

I know that the order theoretic dual of a topological space is a closed set system rather than an open set system. However, this doesn't answer my question (I think) since it is just a transformation of the objects, and not of the morphisms.

I thought that maybe it would be the same as $Top$ but have morphisms involving closed sets instead of open sets somehow -- however the definition of a continuous function as one for which preimages of closed sets are closed is equivalent to the definition for which preimages of open sets are open, so this doesn't seem to lead anywhere unless $Top$ is self-dual, which seems unlikely.

EDIT: let's see if we can start with a simple example and generalize.

Consider two copies of the real line, one with the discrete topology (call it $A$), and one with the regular Euclidean/metric topology (call it $B$).

The space of continuous functions from $A$ to $B$ is simply the space of all real-valued functions on the real line, i.e. $Hom(A,B)=\{\text{real valued functions on the real line}\}$.

So now for $Top^{opp}$, the dual category to topological spaces, $$Hom^{opp}(B,A)=\{\text{relations whose "inverses" are real valued functions on the real line}\}?$$

(since the range of a function doesn't have to be its codomain).

This is a simple/special case of two objects and their morphisms in $Top^{opp}$, but already the morphisms seem likely to be pretty useless in general since they aren't even functions in general.

Still, now what confuses me is that it seems like this problem wouldn't be unique to defining the dual category of $Top$; any category whose morphisms aren't all invertible would seem to have the same problem. Thus it seems more likely that I am misinterpreting the definitions.

EDIT: I am looking for a more precise definition than given in the answer to this question:

What is the opposite category of $\operatorname{Top}$?

However, it seems that looking at that question (which I couldn't find before asking this one) that there is no simple answer to what the dual category of topological spaces $Top$ is, which perhaps is unsurprising considering how pathological the simple example given above seems to be.

Therefore I am going to vote to close this question as a duplicate.