検索結果- 英語 - 英語

検索内容:

isomorphism.)

natural isomorphism

名詞

(category theory) A natural transformation whose every component is an isomorphism.

日本語の意味

圏論において、各対象に対する自然変換であり、その各成分が同型写像となるもの

このボタンはなに？

The equivalence between the representable functors was established by exhibiting a natural isomorphism between them.

Google翻訳 / DeepL翻訳

表現可能な関手間の同値は、それらの間の各成分が同型となる自然変換を示すことで確立された。

詳細

natural isomorphisms

名詞

活用形複数形

plural of natural isomorphism

日本語の意味

数学（特に圏論）における『自然同型』の複数形。つまり、各対象において同型を与え、構造を自然に保つ対応（自然同型変換）の集合を指します。

このボタンはなに？

In category theory, natural isomorphisms often reveal deep connections between seemingly different constructions.

Google翻訳 / DeepL翻訳

圏論では、引数に関して自然な同型写像が、一見異なる構成の間に深い関係を示すことが多い。

詳細

Curry-Howard isomorphism

固有名詞

Synonym of Curry-Howard correspondence

日本語の意味

カリー・ハワード対応（Curry-Howard correspondenceの別称）

このボタンはなに？

Researchers often invoke the Curry-Howard isomorphism when explaining the deep connection between proofs and programs.

Google翻訳 / DeepL翻訳

研究者は、証明とプログラムの深い関係を説明する際によくカリー＝ハワード対応を引用します。

詳細

Webで検索する