最終更新日:2025/11/30

(category theory) One of a pair of functors such that the domain and codomain of one of them are identical to the codomain and domain of the other one, respectively, and such that there is a pair of natural transformations which turns the pair of functors into an adjunction.

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

adjoint functor

編集履歴(0)
元となった辞書の項目

adjoint functor

名詞
日本語の意味
随伴関手 – カテゴリ理論において、一組の関手のうち、片方の関手の定義域と対域が、もう片方の関手の対域と定義域とそれぞれ一致し、さらに互いに対応する自然変換が存在して、両関手が随伴関係を形成するものを指す。
このボタンはなに?

圏の同値を示すために、必要な単位と余単位の自然変換を与える随伴関手を構成した。

plural

Dictionary quizzes to help you remember vocabulary

編集履歴(0)

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★