(category theory) An embedding of a category 𝒞 within the category of functors from 𝒞 to the category of sets. Such an embedding is effected by a Yoneda functor.
Yoneda embedding
圏論では、圏を集合値関手の圏に埋め込むヨネダ関手による埋め込みを理解することが多くの構成に不可欠だ。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★