最終更新日：2025/12/05

Dictionary quizzes to help you remember vocabulary

Dictionary quizzes to help you remember vocabulary

(category theory) An adjunction whose unit and counit are both natural isomorphisms.

音声機能が動作しない場合はこちらをご確認ください

正解を見る

equivalence of categories

編集履歴（0）

元となった辞書の項目

equivalence of categories

(category theory) An adjunction whose unit and counit are both natural isomorphisms.

日本語の意味

圏論における概念。随伴関係において、単位および余単位が共に自然同型となる場合、二つの圏は互いに同等であるとみなされる。この概念は『圏同値』として知られている。

このボタンはなに？

Google翻訳 / DeepL翻訳

圏Cと圏Dが圏の同値であることは、単位と余単位がともに自然同型である随伴を構成することで示された。

意味（1）

(category theory) An adjunction whose unit and counit are both natural isomorphisms.

There is an equivalence of categories between the category of simply typed lambda calculi and the category of cartesian closed categories; this was shown by Lambek and Scott.

Google翻訳 / DeepL翻訳

equivalences of categories

（ plural ）

ログイン / 新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★