(category theory) A category whose objects are functors (from some fixed given domain category to some fixed given codomain category) and whose morphisms are natural transformations.
functor category
2つの小さな圏の間の関手圏では、極限と余極限が点ごとに計算されることが多い。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★