In mathematics, especially category theory, a discrete category is a category whose only morphisms are the identity morphisms. It is the simplest kind of category. Specifically a category C is discrete if
- homC(X, X) = {idX} for all objects X
- homC(X, Y) = ∅ for all objects X ≠ Y
Since by axioms, there is always the identity morphism between the same object, the above is equivalent to saying
- |homC(X, Y)| is 1 when X = Y and 0 when X is not equal to Y.
Clearly, any class of objects defines a discrete category when augmented with identity maps.
Any subcategory of a discrete category is discrete. Also, a category is discrete if and only if all of its subcategories are full.
The limit of any functor from a discrete category into another category is called a product, while the colimit is called a coproduct.
Famous quotes containing the words discrete and/or category:
“The mastery of one’s phonemes may be compared to the violinist’s mastery of fingering. The violin string lends itself to a continuous gradation of tones, but the musician learns the discrete intervals at which to stop the string in order to play the conventional notes. We sound our phonemes like poor violinists, approximating each time to a fancied norm, and we receive our neighbor’s renderings indulgently, mentally rectifying the more glaring inaccuracies.”
—W.V. Quine (b. 1908)
“The truth is, no matter how trying they become, babies two and under don’t have the ability to make moral choices, so they can’t be “bad.” That category only exists in the adult mind.”
—Anne Cassidy (20th century)