"categorification" meaning in English

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "category",
        "3": "fication"
      },
      "expansion": "category + -fication",
      "name": "suffix"
    }
  ],
  "etymology_text": "From category + -fication.",
  "forms": [
    {
      "form": "categorifications",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "~"
      },
      "expansion": "categorification (countable and uncountable, plural categorifications)",
      "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 terms suffixed with -fication",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Category theory",
          "orig": "en:Category theory",
          "parents": [
            "Mathematics",
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "derived": [
        {
          "word": "decategorification"
        },
        {
          "word": "horizontal categorification"
        },
        {
          "word": "vertical categorification"
        }
      ],
      "examples": [
        {
          "text": "2008, E. Krenkel, Ramifications of the Geometric Langlands Program, Michael Cowling, Edward Frenkel, Masaki Kashiwara, Alain Valette, David A. Vogan, Jr., Nolan R. Wallach (editors), Representation Theory and Complex Analysis: Lectures Given at the C.I.M.E. Summer School, Springer, Lecture Notes in Mathematics 1931, page 83,\nIn Section 3.4 we have already discussed the question of categorification of the algebra of functions on a homogeneous space like G(F)/K."
        },
        {
          "text": "2009, Volodymyr Mazorchuk, Lectures on sl₂( C )-Modules, Imperial College Press, page 221,\nShow that Φ⊕Φ is also a (naïve) homomorphism of naïve categorifications."
        },
        {
          "ref": "2010, Kishore Marathe, Topics in Physical Mathematics, Springer, page 351:",
          "text": "Khovanov's categorification of the Jones polynomial by Khovanov homology is the subject of Section 11.6.",
          "type": "quote"
        },
        {
          "text": "2011, Robert Wisbauer, Categorical aspects of Hopf algebras, Matilde Marcolli, Deepak Parashar (editors), Quantum Groups and Noncommutative Spaces: Perspectives on Quantum Geometry, Springer Science+Business (Vieweg+Teubner), page 146,\nSince Lawvere's categorification of general algebra, algebras and coalgebras are used as basic notions in universal algebra, logic, and theoretical computer science, for example (e.g. [AdPo], [Gu], [TuPl])."
        }
      ],
      "glosses": [
        "A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory."
      ],
      "id": "en-categorification-en-noun-faPje9UI",
      "links": [
        [
          "category theory",
          "category theory"
        ],
        [
          "theorem",
          "theorem"
        ],
        [
          "set theory",
          "set theory"
        ]
      ],
      "raw_glosses": [
        "(category theory) A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory."
      ],
      "tags": [
        "countable",
        "uncountable"
      ],
      "topics": [
        "category-theory",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ],
      "wikipedia": [
        "categorification"
      ]
    }
  ],
  "word": "categorification"
}

{
  "derived": [
    {
      "word": "decategorification"
    },
    {
      "word": "horizontal categorification"
    },
    {
      "word": "vertical categorification"
    }
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "category",
        "3": "fication"
      },
      "expansion": "category + -fication",
      "name": "suffix"
    }
  ],
  "etymology_text": "From category + -fication.",
  "forms": [
    {
      "form": "categorifications",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "~"
      },
      "expansion": "categorification (countable and uncountable, plural categorifications)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English lemmas",
        "English nouns",
        "English terms suffixed with -fication",
        "English terms with quotations",
        "English uncountable nouns",
        "Pages with 1 entry",
        "Pages with entries",
        "en:Category theory"
      ],
      "examples": [
        {
          "text": "2008, E. Krenkel, Ramifications of the Geometric Langlands Program, Michael Cowling, Edward Frenkel, Masaki Kashiwara, Alain Valette, David A. Vogan, Jr., Nolan R. Wallach (editors), Representation Theory and Complex Analysis: Lectures Given at the C.I.M.E. Summer School, Springer, Lecture Notes in Mathematics 1931, page 83,\nIn Section 3.4 we have already discussed the question of categorification of the algebra of functions on a homogeneous space like G(F)/K."
        },
        {
          "text": "2009, Volodymyr Mazorchuk, Lectures on sl₂( C )-Modules, Imperial College Press, page 221,\nShow that Φ⊕Φ is also a (naïve) homomorphism of naïve categorifications."
        },
        {
          "ref": "2010, Kishore Marathe, Topics in Physical Mathematics, Springer, page 351:",
          "text": "Khovanov's categorification of the Jones polynomial by Khovanov homology is the subject of Section 11.6.",
          "type": "quote"
        },
        {
          "text": "2011, Robert Wisbauer, Categorical aspects of Hopf algebras, Matilde Marcolli, Deepak Parashar (editors), Quantum Groups and Noncommutative Spaces: Perspectives on Quantum Geometry, Springer Science+Business (Vieweg+Teubner), page 146,\nSince Lawvere's categorification of general algebra, algebras and coalgebras are used as basic notions in universal algebra, logic, and theoretical computer science, for example (e.g. [AdPo], [Gu], [TuPl])."
        }
      ],
      "glosses": [
        "A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory."
      ],
      "links": [
        [
          "category theory",
          "category theory"
        ],
        [
          "theorem",
          "theorem"
        ],
        [
          "set theory",
          "set theory"
        ]
      ],
      "raw_glosses": [
        "(category theory) A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory."
      ],
      "tags": [
        "countable",
        "uncountable"
      ],
      "topics": [
        "category-theory",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ],
      "wikipedia": [
        "categorification"
      ]
    }
  ],
  "word": "categorification"
}