{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "1F833GKJ9V"
    },
    {
      "field": "uses",
      "target": "290G1NGAMR"
    },
    {
      "field": "uses",
      "target": "5T6HCEK1M8"
    },
    {
      "field": "uses",
      "target": "8P9PJG95H3"
    },
    {
      "field": "uses",
      "target": "CZYDQ96X2T"
    },
    {
      "field": "uses",
      "target": "G3TZAZ3XDR"
    },
    {
      "field": "uses",
      "target": "GAMHZY8TWV"
    },
    {
      "field": "uses",
      "target": "J5QPP8REV6"
    },
    {
      "field": "uses",
      "target": "QKJPM71RMG"
    },
    {
      "field": "uses",
      "target": "QZFTEZKGNX"
    },
    {
      "field": "uses",
      "target": "SCG4061G4W"
    },
    {
      "field": "uses",
      "target": "TAVG968272"
    },
    {
      "field": "uses",
      "target": "VDQAZDHFF7"
    },
    {
      "field": "uses",
      "target": "W1VV1MP5EG"
    },
    {
      "field": "uses",
      "target": "Z3MQ1D5Q38"
    },
    {
      "field": "specializes",
      "target": "4FJ0S71P58"
    },
    {
      "field": "specializes",
      "target": "DVSTWGVCSZ"
    },
    {
      "field": "specializes",
      "target": "Q699KKMVJD"
    },
    {
      "field": "specializes",
      "target": "X9HEQ29Q49"
    },
    {
      "field": "about",
      "target": "CZYDQ96X2T"
    },
    {
      "field": "defines",
      "target": "XGCV1SGEGQ"
    }
  ],
  "body": "\n## Summary\n\nThe colimit of a [[diagram|HJK75HDWFE]] in a [[category|A2DE66937D]] is a universal cocone under it.\nIt maps to every other cocone in exactly one compatible way.\nIt is the notion dual to a [[limit|CHS5AFJGWE]], and it covers coproducts, coequalizers, pushouts, direct limits and initial objects.\nColimits glue objects together, while limits cut out compatible families.\n\n## Explanations\n\n### L1 human\n\nThe colimit of a diagram is the most economical object that receives a map from every part of the diagram in a consistent way.\nIn the category of sets, put all the sets of the diagram side by side.\nThen glue each element to its images under the arrows of the diagram.\nFor two sets with no arrows between them, nothing is glued, and the colimit is their disjoint union.\nFor an increasing chain of sets $X_0 \\subseteq X_1 \\subseteq \\cdots$, the colimit is the union of the chain.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "18A30"
    ],
    "name": "Colimit",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Limit_(category_theory)"
      }
    ],
    "tag": "BJS1CGTKQ5"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/BJS1CGTKQ5/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/BJS1CGTKQ5.md",
  "msc": [
    "18A30"
  ],
  "name": "Colimit",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/BJS/BJS1CGTKQ5.md",
  "status": null,
  "tag": "BJS1CGTKQ5",
  "uri": "m2://BJS1CGTKQ5",
  "url": "https://tamnd.github.io/math2/wiki/colimit/",
  "writing": {
    "tag": "BJS1CGTKQ5",
    "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
      }
    ]
  }
}