Значення

значень: 1
  1. (злічуване, незлічуване)A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory.

    2009, Volodymyr Mazorchuk, Lectures on sl₂( C )-Modules, Imperial College Press, page 221, Show that Φ⊕Φ is also a (naïve) homomorphism of naïve categorifications.

Походження

From category + -fication.

From category + -fication.

Wiktionary, CC BY-SA 4.0 · source

Форми

множина: categorifications
Однинаcategorification
Множинаcategorifications

правильне

Спільнокореневі

пов’язаних слів: 2

Дивіться також

сусідні слова
categorification — значення, приклади, форми, синоніми | Krumeto