{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "QZFTEZKGNX"
    }
  ],
  "body": "\n## Summary\n\nA locally presentable category is an [[accessible category|FC8C0V4TFZ]] that has all small colimits.\nEvery object is a highly filtered colimit of objects from a fixed small set of presentable objects.\nSets, groups, rings, modules, small categories and presheaf categories are locally presentable, while topological spaces are not.\nThese categories are also complete, and the adjoint functor theorem takes a simple form for them.\n\n## Explanations\n\n### L1 human\n\nA locally presentable category is a large category built from a small set of building blocks in a controlled way.\nIn the category of groups, every group is a filtered colimit of finitely presented groups.\nBecause of this, questions about the whole category can often be reduced to questions about the small building blocks.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "18C35"
    ],
    "name": "Locally presentable category",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Accessible_category"
      }
    ],
    "specializes": [
      "FC8C0V4TFZ"
    ],
    "tag": "PZHDNJ2J73"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/PZHDNJ2J73/",
  "links": [
    {
      "field": "specializes",
      "target": "FC8C0V4TFZ"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/PZHDNJ2J73.md",
  "msc": [
    "18C35"
  ],
  "name": "Locally presentable category",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/PZH/PZHDNJ2J73.md",
  "status": null,
  "tag": "PZHDNJ2J73",
  "uri": "m2://PZHDNJ2J73",
  "url": "https://tamnd.github.io/math2/wiki/locally-presentable-category/",
  "writing": {
    "tag": "PZHDNJ2J73",
    "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
      }
    ]
  }
}