{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "DS6TC7FSDQ"
    },
    {
      "field": "about",
      "target": "GAMHZY8TWV"
    },
    {
      "field": "uses",
      "target": "GAMHZY8TWV"
    },
    {
      "field": "uses",
      "target": "XYH30V13SE"
    }
  ],
  "body": "\n## Summary\n\nA Kan extension extends a [[functor|28NQ0KRHD3]] $F \\colon \\mathcal{A} \\to \\mathcal{C}$ along another functor $K \\colon \\mathcal{A} \\to \\mathcal{B}$ to a functor on $\\mathcal{B}$, in the best possible way.\nThere is a left Kan extension, which is universal among functors receiving a [[natural transformation|KYCPCC57FT]] from $F$, and a dual right Kan extension.\nLimits, colimits and [[adjoint functors|TZHF6ZM92S]] are all special cases.\nThis is why Kan extensions are often called the most basic universal construction of category theory.\n\n## Explanations\n\n### L1 human\n\nSuppose a functor is only known on a part of a category, or on a category that maps into a bigger one.\nA Kan extension asks for the closest functor on the bigger category that is compatible with the given one.\nThe left Kan extension approximates from one side, the right Kan extension from the other side.\nWhen the bigger category has just one object and one arrow, the left Kan extension is the colimit of $F$ and the right one is the limit.\nFor a subgroup $H$ of a group $G$, the left Kan extension of a representation of $H$ along the inclusion is the induced representation of $G$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "18A40"
    ],
    "name": "Kan extension",
    "same_as": {
      "wikidata": "Q1723418",
      "wikipedia": "Kan extension"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Kan_extension"
      }
    ],
    "tag": "RN9D96ESWN"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/RN9D96ESWN/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/RN9D96ESWN.md",
  "msc": [
    "18A40"
  ],
  "name": "Kan extension",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/RN9/RN9D96ESWN.md",
  "status": null,
  "tag": "RN9D96ESWN",
  "uri": "m2://RN9D96ESWN",
  "url": "https://tamnd.github.io/math2/wiki/kan-extension/",
  "writing": {
    "tag": "RN9D96ESWN",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}