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:
“Today we seek a moral basis for peace.... It cannot be a lasting peace if the fruit of it is oppression, or starvation, cruelty, or human life dominated by armed camps. It cannot be a sound peace if small nations must live in fear of powerful neighbors. It cannot be a moral peace if freedom from invasion is sold for tribute.”
—Franklin D. Roosevelt (1882–1945)
“My soule her wings doth spread
And heaven-ward flies,
Th’ Almighty’s Mysteries to read
In the large volumes of the skies.”
—William Habington (1605–1654)
“Kitsch ... is one of the major categories of the modern object. Knick-knacks, rustic odds-and-ends, souvenirs, lampshades, and African masks: the kitsch-object is collectively this whole plethora of “trashy,” sham or faked objects, this whole museum of junk which proliferates everywhere.... Kitsch is the equivalent to the “cliché” in discourse.”
—Jean Baudrillard (b. 1929)