Skip to main content
2 of 4
added 810 characters in body
Harry Gindi
  • 19.6k
  • 16
  • 123
  • 215

Well, this isn't a full answer, but I think it's worth posting.

We can identify a Hausdorff space with its poset of open sets because every ultrafilter converges uniquely to a point, so in fact, all of the "set data" of the space is contained in the poset of opens itself. We can define a lattice structure on this poset that takes the place of our algebra defined by intersections and unions. This is why the category of Hausdorff spaces is actually a category monadic over sets. Hausdorff spaces are actually totally described by their algebras, which seems pretty cool to me.

Some speculation on the question:

We have a natural poset structure on subobjects of algebraic objects, which at least gets us partway to having a topology.

Further, we can classify maps out of the space by looking at kernels of maps. There is also a canonical action for normal subgroups and ideals (product of normal subgroups and sum of ideals). These have the nice property that they are closed under this operation. They are also closed under intersections. This gives us a complete modular lattice on kernels. The interesting case about rings is that we have a third operation, the product of ideals. The interesting thing about the product of ideals is that it is only defined for finite products. Then we have a somewhat natural structure to start working in (at least for rings).

Harry Gindi
  • 19.6k
  • 16
  • 123
  • 215