English Dictionary

categorification

名詞

可算名詞 不可算名詞

(category theory) A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory.

日本語の意味

集合論の概念や構造を、対応する圏論の概念や構造に置き換える数学的プロセス。 / 集合論から圏論への概念の翻訳や再定義を通じて、定理や証明を圏論の文脈で構築する試み。

The research seminar focused on categorification and its role in translating algebraic proofs into categorical language.

研究セミナーでは、集合論の概念を圏論に写して定理を圏論的に定義する手続きと、それが代数的な証明を圏論的な言語に翻訳する役割に焦点が当てられていた。

意味（1）

(category theory) A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory.

In Section 3.4 we have already discussed the question of categorification of the algebra of functions on a homogeneous space like G(F)/K.

categorifications （ plural ）