最終更新日：2024/08/06

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

noun

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

The equivalence of categories is an important concept in mathematics.

Google翻訳 / DeepL翻訳

詳細

意味（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翻訳

詳細

equivalence of categories

Dictionary quizzes to help you remember vocabulary

ログイン / 新規登録

アプリをダウンロード！

equivalence of categories

Dictionary quizzes to help you remember vocabulary

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！