{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "5YH6FTMVYP"
    },
    {
      "field": "uses",
      "target": "8ZSFY9BWME"
    },
    {
      "field": "uses",
      "target": "DS3W88FESM"
    },
    {
      "field": "uses",
      "target": "DTNDR45FTH"
    },
    {
      "field": "uses",
      "target": "N84M16W19X"
    },
    {
      "field": "about",
      "target": "N84M16W19X"
    },
    {
      "field": "defines",
      "target": "Q6W7PDWN4V"
    }
  ],
  "body": "\n## Summary\n\nA Cartesian closed category is a [[category|A2DE66937D]] with finite [[products|S5744QZV4N]] in which every pair of objects has an [[exponential object|RHWD8DY41R]].\nIn it, morphisms $X \\times Y \\to Z$ match morphisms $X \\to Z^Y$, as in currying of functions.\nSets, small categories, presheaf categories and every [[topos|6837RS7N82]] are Cartesian closed.\nCartesian closed categories are the models of the simply typed [[lambda calculus|BD756KR8FM]].\n\n## Explanations\n\n### L1 human\n\nIn the world of sets you can form pairs, and you can form the set of all functions between two sets.\nA Cartesian closed category is any category where both of these constructions make sense and fit together as they do for sets.\nThe key rule is that a function of two inputs is the same as a function of one input that returns a function.\nThe category of all small categories is an example: the functors between two categories form a category again.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "18D15"
    ],
    "name": "Cartesian closed category",
    "same_as": {
      "wikidata": "Q1725874",
      "wikipedia": "Cartesian closed category"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Cartesian_closed_category"
      }
    ],
    "tag": "BFBNQ36QS8"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/BFBNQ36QS8/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/BFBNQ36QS8.md",
  "msc": [
    "18D15"
  ],
  "name": "Cartesian closed category",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/BFB/BFBNQ36QS8.md",
  "status": null,
  "tag": "BFBNQ36QS8",
  "uri": "m2://BFBNQ36QS8",
  "url": "https://tamnd.github.io/math2/wiki/cartesian-closed-category/",
  "writing": {
    "tag": "BFBNQ36QS8",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}