"Cartesian closed category" meaning in All languages combined

{
  "etymology_text": "Named after René Descartes (1596–1650), French philosopher, mathematician, and scientist, whose formulation of analytic geometry gave rise to the concept of Cartesian product, which was later generalized to the notion of categorical product.",
  "forms": [
    {
      "form": "Cartesian closed categories",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "Cartesian closed category (plural Cartesian closed categories)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries with language name categories using raw markup",
          "parents": [
            "Entries with language name categories using raw markup",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English terms with non-redundant non-automated sortkeys",
          "parents": [
            "Terms with non-redundant non-automated sortkeys",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Category theory",
          "orig": "en:Category theory",
          "parents": [
            "Mathematics",
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "examples": [
        {
          "ref": "2009 February 3, John C. Baez with Mike Stay, Physics, Topology, Logic and Computation: A Rosetta Stone, page 54",
          "text": "In any event, Lambek showed that every typed lambda-theory gives a cartesian closed category — and conversely, every cartesian closed category gives a typed lambda-theory. This discovery led to a rich line of research blending category theory and computer science.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "A category which has a terminal object and which for every two objects A and B has a product A × B and an exponential object Bᴬ."
      ],
      "hypernyms": [
        {
          "word": "Cartesian monoidal category"
        },
        {
          "word": "Cartesian category"
        },
        {
          "word": "closed monoidal category"
        },
        {
          "word": "monoidal category"
        }
      ],
      "hyponyms": [
        {
          "word": "bicartesian closed category"
        },
        {
          "word": "topos"
        }
      ],
      "id": "en-Cartesian_closed_category-en-noun-H5HEGwU1",
      "links": [
        [
          "category theory",
          "category theory"
        ],
        [
          "category",
          "category"
        ],
        [
          "terminal object",
          "terminal object"
        ],
        [
          "product",
          "product"
        ],
        [
          "exponential object",
          "exponential object"
        ]
      ],
      "raw_glosses": [
        "(category theory) A category which has a terminal object and which for every two objects A and B has a product A × B and an exponential object Bᴬ."
      ],
      "synonyms": [
        {
          "word": "CCC"
        }
      ],
      "topics": [
        "category-theory",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ],
      "wikipedia": [
        "Cartesian closed category",
        "René Descartes"
      ]
    }
  ],
  "word": "Cartesian closed category"
}

{
  "etymology_text": "Named after René Descartes (1596–1650), French philosopher, mathematician, and scientist, whose formulation of analytic geometry gave rise to the concept of Cartesian product, which was later generalized to the notion of categorical product.",
  "forms": [
    {
      "form": "Cartesian closed categories",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "Cartesian closed category (plural Cartesian closed categories)",
      "name": "en-noun"
    }
  ],
  "hypernyms": [
    {
      "word": "Cartesian monoidal category"
    },
    {
      "word": "Cartesian category"
    },
    {
      "word": "closed monoidal category"
    },
    {
      "word": "monoidal category"
    }
  ],
  "hyponyms": [
    {
      "word": "bicartesian closed category"
    },
    {
      "word": "topos"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English entries with language name categories using raw markup",
        "English eponyms",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "English terms with non-redundant non-automated sortkeys",
        "English terms with quotations",
        "en:Category theory"
      ],
      "examples": [
        {
          "ref": "2009 February 3, John C. Baez with Mike Stay, Physics, Topology, Logic and Computation: A Rosetta Stone, page 54",
          "text": "In any event, Lambek showed that every typed lambda-theory gives a cartesian closed category — and conversely, every cartesian closed category gives a typed lambda-theory. This discovery led to a rich line of research blending category theory and computer science.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "A category which has a terminal object and which for every two objects A and B has a product A × B and an exponential object Bᴬ."
      ],
      "links": [
        [
          "category theory",
          "category theory"
        ],
        [
          "category",
          "category"
        ],
        [
          "terminal object",
          "terminal object"
        ],
        [
          "product",
          "product"
        ],
        [
          "exponential object",
          "exponential object"
        ]
      ],
      "raw_glosses": [
        "(category theory) A category which has a terminal object and which for every two objects A and B has a product A × B and an exponential object Bᴬ."
      ],
      "topics": [
        "category-theory",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ],
      "wikipedia": [
        "Cartesian closed category",
        "René Descartes"
      ]
    }
  ],
  "synonyms": [
    {
      "word": "CCC"
    }
  ],
  "word": "Cartesian closed category"
}