{
  "id": "2411.13482",
  "version": "v1",
  "published": "2024-11-20T17:34:29.000Z",
  "updated": "2024-11-20T17:34:29.000Z",
  "title": "A duality for the class of compact $T_1$-spaces",
  "authors": [
    "Elena Pozzan",
    "Matteo Viale"
  ],
  "categories": [
    "math.GN",
    "math.CT",
    "math.LO"
  ],
  "abstract": "We present a contravariant adjunction between compact $T_1$-spaces and a class of distributive lattices which recomprises key portions of Stone's duality and of Isbell's duality among its instantiations. This brings us to focus on $T_1$-spaces, rather than sober spaces, and to identify points in them with minimal prime filters on some base for a $T_1$-topology (which is what Stone's duality does on the base of clopen sets of compact $0$-dimensional spaces), in spite of completely prime filters on the topology (which is what Isbell's duality does on a sober space). More precisely our contravariant adjunction produces a contravariant, faithful and full embedding of the category of compact $T_1$-spaces with arrows given by closed continuous map as a reflective subcategory of a category $\\mathsf{SbfL} $ whose objects are the bounded distributive lattices isomorphic to some base of a $T_1$-topological space (e.g. subfits, when the lattices are frames) and whose arrows are given by (what we call) set-like-morphisms (a natural class of morphisms characterized by a first order expressible constraint). Furthermore this contravariant adjunction becomes a duality when one restricts on the topological side to the category of compact $T_2$-spaces with arbitrary continuous maps, and on the lattice-theoretic side to the category of compact, complete, and normal lattices. A nice by-product of the above results is a lattice-theoretic reformulation of the Stone-\\v{C}ech compactification theorem which we have not been able to trace elsewhere in the literature.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2024-11-20T17:34:29.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "stones duality",
      "isbells duality",
      "sober space",
      "first order expressible constraint",
      "distributive lattices"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}