Can someone come up with two topological spaces $X$ and $Y$ satisfying
- Both are Hausdorff,
- $X$ and $Y$ are not homeomorphic; however
- $X$ and $Y$ are “compactomorphic” in the sense that there is a proper map between them with a proper inverse.
In other words, the spaces themselves are different, but the compact sets are the same.
This would be trivial in the non-Hausdorff case, using the same finite set with the discrete and trivial topologies. However, the discrete topology is the only Hausdorff topology on a finite set.