horizontal categorification in English

[Show JSON for postprocessed kaikki.org data shown on this page ▼] [Hide JSON for postprocessed kaikki.org data shown on this page ▲]

{
  "forms": [
    {
      "form": "horizontal categorifications",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "horizontal categorification (plural horizontal categorifications)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "langcode": "en",
          "name": "Category theory",
          "orig": "en:Category theory",
          "parents": [],
          "source": "w"
        }
      ],
      "examples": [
        {
          "text": "The horizontal categorification of a group is a groupoid.",
          "type": "example"
        }
      ],
      "glosses": [
        "The process by which an algebraic structure is first categorified, realising it as a one-object category with certain properties, and then categories with those properties (and any number of objects) are studied; also, the result of this process."
      ],
      "id": "en-horizontal_categorification-en-noun-LxCpXGF2",
      "links": [
        [
          "category theory",
          "category theory"
        ],
        [
          "algebraic structure",
          "algebraic structure"
        ],
        [
          "categorified",
          "categorification"
        ],
        [
          "object",
          "object"
        ],
        [
          "category",
          "category"
        ]
      ],
      "raw_glosses": [
        "(category theory) The process by which an algebraic structure is first categorified, realising it as a one-object category with certain properties, and then categories with those properties (and any number of objects) are studied; also, the result of this process."
      ],
      "related": [
        {
          "word": "-oid"
        }
      ],
      "synonyms": [
        {
          "word": "oidification"
        }
      ],
      "topics": [
        "category-theory",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ]
    }
  ],
  "word": "horizontal categorification"
}

[Show JSON for raw wiktextract data ▼] [Hide JSON for raw wiktextract data ▲]

{
  "forms": [
    {
      "form": "horizontal categorifications",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "horizontal categorification (plural horizontal categorifications)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "word": "-oid"
    }
  ],
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "English terms with usage examples",
        "Pages with 1 entry",
        "Pages with entries",
        "en:Category theory"
      ],
      "examples": [
        {
          "text": "The horizontal categorification of a group is a groupoid.",
          "type": "example"
        }
      ],
      "glosses": [
        "The process by which an algebraic structure is first categorified, realising it as a one-object category with certain properties, and then categories with those properties (and any number of objects) are studied; also, the result of this process."
      ],
      "links": [
        [
          "category theory",
          "category theory"
        ],
        [
          "algebraic structure",
          "algebraic structure"
        ],
        [
          "categorified",
          "categorification"
        ],
        [
          "object",
          "object"
        ],
        [
          "category",
          "category"
        ]
      ],
      "raw_glosses": [
        "(category theory) The process by which an algebraic structure is first categorified, realising it as a one-object category with certain properties, and then categories with those properties (and any number of objects) are studied; also, the result of this process."
      ],
      "synonyms": [
        {
          "word": "oidification"
        }
      ],
      "topics": [
        "category-theory",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ]
    }
  ],
  "word": "horizontal categorification"
}

Download raw JSONL data for horizontal categorification meaning in English (1.6kB)

This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2025-08-04 from the enwiktionary dump dated 2025-08-02 using wiktextract (a681f8a and 3c020d2). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.

"horizontal categorification" meaning in English

Noun