(category theory) A category such that all of its objects form a set and all of its morphisms form a set.
small category
多くの教科書では、理論を通常の集合論の枠内に収めるために、対象と射がそれぞれ集合をなす圏の概念が早い段階で導入されます。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★