A category K whose class of morphisms MorK is a set. A small category K is called a U-category if MorK⊂U, where U is a universe.
確定! 回上一頁