{
  "id": "1911.07089",
  "version": "v1",
  "published": "2019-11-16T20:08:32.000Z",
  "updated": "2019-11-16T20:08:32.000Z",
  "title": "Distance Domains: Continuity",
  "authors": [
    "Tristan Bice"
  ],
  "comment": "This is a revised version of the second half of arXiv:1704.01024v1",
  "categories": [
    "math.GN"
  ],
  "abstract": "We take the abstract basis approach to classical domain theory and extend it to quantitative domains. In doing so, we provide dual characterisations of distance domains (some new even in the classical case) as well as unifying and extending previous formal ball dualities, namely the Kostanek-Waszkiewicz and Romaguero-Valero theorems. In passing, we also characterise hemimetric spaces that admit a hemimetric Smyth completion.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2019-11-16T20:08:32.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "06A06",
      "18A35",
      "54E50",
      "54E55"
    ],
    "keywords": [
      "distance domains",
      "continuity",
      "abstract basis approach",
      "formal ball dualities",
      "characterise hemimetric spaces"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}