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 ）

詳細

equivalence of categories

Dictionary quizzes to help you remember the meaning

ログイン / 新規登録

アプリをダウンロード！

equivalence of categories

Dictionary quizzes to help you remember the meaning

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！