{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "DDAHG7QRY8"
    },
    {
      "field": "uses",
      "target": "F4BVTGH58G"
    },
    {
      "field": "defines",
      "target": "TMBCW25DZ4"
    }
  ],
  "body": "\n## Summary\n\nA map between partially ordered sets is Scott-continuous if it preserves suprema of directed subsets.\nScott-continuous maps are exactly the maps that are continuous for the [[Scott topologies|ZR8A03FV67]] on both sides.\nIn [[domain theory|Q2P5D74Q1V]] they model computable functions: the output on a limit of approximations is the limit of the outputs.\nA Scott-continuous self-map of a pointed dcpo has a [[least fixed point|DBD64TH52D]], which gives meaning to recursive definitions.\n\n## Explanations\n\n### L1 human\n\nFeed a program better and better approximations of its input.\nIf the program is well behaved, its outputs also improve, and the output for the full input is the limit of these outputs.\nScott continuity is this property stated for ordered sets: the map respects order and respects limits of directed families.\nFor example, on the subsets of $\\N$ ordered by inclusion, the map $A \\mapsto A \\cup \\set{0}$ is Scott-continuous, since it commutes with unions of directed families.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "06B35",
      "68Q55"
    ],
    "name": "Scott continuity",
    "same_as": {
      "wikidata": "Q895815",
      "wikipedia": "Scott continuity"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Scott_continuity"
      }
    ],
    "tag": "C6GAHS1Z2P"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/C6GAHS1Z2P/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/C6GAHS1Z2P.md",
  "msc": [
    "06B35",
    "68Q55"
  ],
  "name": "Scott continuity",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/C6G/C6GAHS1Z2P.md",
  "status": null,
  "tag": "C6GAHS1Z2P",
  "uri": "m2://C6GAHS1Z2P",
  "url": "https://tamnd.github.io/math2/wiki/scott-continuity/",
  "writing": {
    "tag": "C6GAHS1Z2P",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}