If the class of object is in fact a set then the category is called small. For a general category we should admit that morphisms form a class.
確定! 回上一頁