A small category is a category in which both ob(C) and hom(C) are actually sets and not proper classes. A category which is not small is said to be large.
確定! 回上一頁