categorifications（「categorificatio）とは - 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索内容:

categorifications

活用形複数形

plural of categorification

日本語の意味

「categorification」の複数形。すなわち、1つの「categorification」（カテゴリー化、特に数学や圏論において対象や構造をカテゴリーで置き換える操作・概念）の複数の事例や概念を表す。

Researchers compared several categorifications of the knot invariant to understand their relationships.

研究者たちは、結び目不変量に対する複数の圏化を比較して、それらの関係を明らかにしようとした。

可算名詞不可算名詞

日本語の意味

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

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

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