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:
“Genius as an explosive power beats gunpowder hollow; and if knowledge, which should give that power guidance, is wanting, the chances are not small that the rocket will simply run amuck among friends and foes.”
—Thomas Henry Huxley (1825–95)
“Sometimes you can tell a large story with a tiny subject.”
—Eliot Porter (1901–1990)
“all the categories which we employ to describe conscious mental acts, such as ideas, purposes, resolutions, and so on, can be applied to ... these latent states.”
—Sigmund Freud (1856–1939)