{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "6ZS77J1873"
    },
    {
      "field": "uses",
      "target": "956E1C2VE6"
    },
    {
      "field": "uses",
      "target": "A2YTPG6CQF"
    },
    {
      "field": "uses",
      "target": "CZYDQ96X2T"
    },
    {
      "field": "uses",
      "target": "FBGXAXAEJ1"
    },
    {
      "field": "uses",
      "target": "G3TZAZ3XDR"
    },
    {
      "field": "uses",
      "target": "GAMHZY8TWV"
    },
    {
      "field": "uses",
      "target": "JZTCEHFVS2"
    },
    {
      "field": "uses",
      "target": "NPPEERJVCR"
    },
    {
      "field": "uses",
      "target": "PQRJ30QTYD"
    },
    {
      "field": "uses",
      "target": "QD9H1WHHSW"
    },
    {
      "field": "uses",
      "target": "QKJPM71RMG"
    },
    {
      "field": "uses",
      "target": "RNCFXWTPFK"
    },
    {
      "field": "uses",
      "target": "T6A7JK3J98"
    },
    {
      "field": "uses",
      "target": "XAQSNBJSX4"
    },
    {
      "field": "uses",
      "target": "XGCV1SGEGQ"
    },
    {
      "field": "specializes",
      "target": "CTJ5AD8ST5"
    },
    {
      "field": "specializes",
      "target": "DZB378CNCK"
    },
    {
      "field": "specializes",
      "target": "Q05K04QJ71"
    },
    {
      "field": "specializes",
      "target": "S5744QZV4N"
    },
    {
      "field": "about",
      "target": "CZYDQ96X2T"
    },
    {
      "field": "about",
      "target": "JZTCEHFVS2"
    },
    {
      "field": "defines",
      "target": "VTWSNXB5S7"
    }
  ],
  "body": "\n## Summary\n\nThe limit of a [[diagram|HJK75HDWFE]] in a [[category|A2DE66937D]] is a universal [[cone|7TPBQPPN97]] over it.\nEvery other cone factors through it in exactly one way.\nLimits unify many constructions, such as products, equalizers, pullbacks, inverse limits and terminal objects.\nA limit is unique up to unique isomorphism when it exists, and in the category of sets every small diagram has one.\n\n## Explanations\n\n### L1 human\n\nThe limit of a diagram is the best object that maps to every part of the diagram in a consistent way.\n\"Best\" means that any other object with consistent maps to the diagram maps to the limit in exactly one way that matches.\nIn the category of sets, the limit is the set of all consistent choices of one element in each set of the diagram.\nFor two sets with no arrows between them, a consistent choice is a pair $(x, y)$, so the limit is the Cartesian product.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "18A30"
    ],
    "name": "Limit",
    "same_as": {
      "wikidata": "Q1322614",
      "wikipedia": "Limit (category theory)"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Limit_(category_theory)"
      }
    ],
    "tag": "CHS5AFJGWE"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/CHS5AFJGWE/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/CHS5AFJGWE.md",
  "msc": [
    "18A30"
  ],
  "name": "Limit",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/CHS/CHS5AFJGWE.md",
  "status": null,
  "tag": "CHS5AFJGWE",
  "uri": "m2://CHS5AFJGWE",
  "url": "https://tamnd.github.io/math2/wiki/limit/",
  "writing": {
    "tag": "CHS5AFJGWE",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}