Small and Large Categories
A category C is called small if both ob(C) and hom(C) are actually sets and not proper classes, and large otherwise. A locally small category is a category such that for all objects a and b, the hom-class hom(a, b) is a set, called a homset. Many important categories in mathematics (such as the category of sets), although not small, are at least locally small.
Read more about this topic: Category (mathematics)
Famous quotes containing the words small, large and/or categories:
“Mrs. Small went to the kitchen for her pocketbook
And came back to the living room with a peculiar look
And the coffee pot.
Pocketbook. Pot.
Pot. Pocketbook.”
—Gwendolyn Brooks (b. 1917)
“In Europe art has to a large degree taken the place of religion. In America it seems rather to be science.”
—Johan Huizinga (1872–1945)
“The analogy between the mind and a computer fails for many reasons. The brain is constructed by principles that assure diversity and degeneracy. Unlike a computer, it has no replicative memory. It is historical and value driven. It forms categories by internal criteria and by constraints acting at many scales, not by means of a syntactically constructed program. The world with which the brain interacts is not unequivocally made up of classical categories.”
—Gerald M. Edelman (b. 1928)