{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "E33H1J8S53"
    },
    {
      "field": "uses",
      "target": "EXD1197NPH"
    },
    {
      "field": "uses",
      "target": "FX88V4XW6F"
    },
    {
      "field": "uses",
      "target": "T6A7JK3J98"
    },
    {
      "field": "defines",
      "target": "QD9H1WHHSW"
    },
    {
      "field": "about",
      "target": "T6A7JK3J98"
    }
  ],
  "body": "\n## Summary\n\nA [[functor|28NQ0KRHD3]] preserves limits when it sends every limit cone to a limit cone.\nSuch a functor is also called continuous.\nForgetful functors from algebraic categories to sets preserve limits, and right adjoint functors always do.\nPreservation of limits is the main condition in the adjoint functor theorems.\n\n## Explanations\n\n### L1 human\n\nA limit is built from a diagram, like a product or a set of solutions.\nA functor preserves it when doing the construction first and then applying the functor gives the same as applying the functor first.\nFor example, the underlying set of a product of two groups is the product of the underlying sets.\nSo the forgetful functor from groups to sets preserves products.\nIt does not preserve coproducts, because the free product of two groups is much bigger than the disjoint union of the sets.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "18A35"
    ],
    "name": "Preservation of limits",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Limit_(category_theory)"
      }
    ],
    "tag": "H4MY8JN8W4"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/H4MY8JN8W4/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/H4MY8JN8W4.md",
  "msc": [
    "18A35"
  ],
  "name": "Preservation of limits",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/H4M/H4MY8JN8W4.md",
  "status": null,
  "tag": "H4MY8JN8W4",
  "uri": "m2://H4MY8JN8W4",
  "url": "https://tamnd.github.io/math2/wiki/preservation-of-limits/",
  "writing": {
    "tag": "H4MY8JN8W4",
    "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
      }
    ]
  }
}