検索結果- 英語 - 英語

検索内容:

isomorphism)

natural isomorphisms

名詞

活用形複数形

plural of natural isomorphism

日本語の意味

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

このボタンはなに？

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

Google翻訳 / DeepL翻訳

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

詳細

ring isomorphism

名詞

(algebra) A ring homomorphism which is also a bijection.

日本語の意味

環の同型写像：環のホモモルフィズムであり、全単射であるもの

このボタンはなに？

To prove the two rings are essentially the same, we constructed an explicit ring isomorphism between them.

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で検索する