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:
“Most personal correspondence of today consists of letters the first half of which are given over to an indexed statement of why the writer hasn’t written before, followed by one paragraph of small talk, with the remainder devoted to reasons why it is imperative that the letter be brought to a close.”
—Robert Benchley (1889–1945)
“The artistic temperament is a disease that affects amateurs.... Artists of a large and wholesome vitality get rid of their art easily, as they breathe easily or perspire easily. But in artists of less force, the thing becomes a pressure, and produces a definite pain, which is called the artistic temperament.”
—Gilbert Keith Chesterton (1874–1936)
“All cultural change reduces itself to a difference of categories. All revolutions, whether in the sciences or world history, occur merely because spirit has changed its categories in order to understand and examine what belongs to it, in order to possess and grasp itself in a truer, deeper, more intimate and unified manner.”
—Georg Wilhelm Friedrich Hegel (1770–1831)