{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "88XF0NVBVG"
    },
    {
      "field": "uses",
      "target": "C5ANXPS4YN"
    },
    {
      "field": "uses",
      "target": "FBGXAXAEJ1"
    },
    {
      "field": "uses",
      "target": "QD9H1WHHSW"
    },
    {
      "field": "uses",
      "target": "RNCFXWTPFK"
    },
    {
      "field": "uses",
      "target": "VTWSNXB5S7"
    },
    {
      "field": "uses",
      "target": "XGCV1SGEGQ"
    }
  ],
  "body": "\n## Summary\n\nA diagram of shape $J$ in a [[category|A2DE66937D]] $\\mathcal{C}$ is a [[functor|28NQ0KRHD3]] from an index category $J$ to $\\mathcal{C}$.\nIt picks out a family of objects and morphisms of $\\mathcal{C}$, arranged in the pattern given by $J$, with the compositions that $J$ prescribes.\nDiagrams are the input of limits and colimits: products, equalizers, pullbacks and their duals are limits and colimits of diagrams of particular shapes.\n\n## Explanations\n\n### L1 human\n\nA diagram is a picture of objects and arrows drawn inside a category, following a fixed template.\nThe template $J$ says how many objects there are and which arrows join them, and the functor says which actual objects and arrows fill the template.\nFor example, the template with two objects and two parallel arrows $\\bullet \\rightrightarrows \\bullet$ picks out a pair of maps $f, g \\colon X \\to Y$.\nThe template with two objects and no arrows between them picks out just a pair of objects.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "18A10",
      "18A30"
    ],
    "name": "Diagram",
    "same_as": {
      "wikidata": "Q843237",
      "wikipedia": "Diagram (category theory)"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Diagram_(category_theory)"
      }
    ],
    "specializes": [
      "28NQ0KRHD3"
    ],
    "tag": "HJK75HDWFE"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/HJK75HDWFE/",
  "links": [
    {
      "field": "specializes",
      "target": "28NQ0KRHD3"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/HJK75HDWFE.md",
  "msc": [
    "18A10",
    "18A30"
  ],
  "name": "Diagram",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/HJK/HJK75HDWFE.md",
  "status": null,
  "tag": "HJK75HDWFE",
  "uri": "m2://HJK75HDWFE",
  "url": "https://tamnd.github.io/math2/wiki/diagram/",
  "writing": {
    "tag": "HJK75HDWFE",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}