Значение

значений: 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