Discrete category

Discrete category

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 XY

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.

References

  • Robert Goldblatt (1984). Topoi, the Categorial Analysis of Logic (Studies in logic and the foundations of mathematics, 98). North-Holland. Reprinted 2006 by Dover Publications, and available online at Robert Goldblatt's homepage.

Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Category (mathematics) — In mathematics, a category is an algebraic structure that comprises objects that are linked by arrows . A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A …   Wikipedia

  • Category management — is a retailing concept in which the total range of products sold by a retailer is broken down into discrete groups of similar or related products; these groups are known as product categories. Examples of grocery categories may be : tinned fish,… …   Wikipedia

  • Category utility — is a measure of category goodness defined in Harvtxt|Gluck|Corter|1985 and Harvtxt|Corter|Gluck|1992. It was intended to supersede more limited measures of category goodness such as cue validity (Harvnb|Reed|1972;Harvnb|Rosch|Mervis|1975) and… …   Wikipedia

  • Discrete transistor — Discrete transistors are transistors that are individually packaged.The two main categories of packaging are through hole (or leaded ), and surface mount , also known as surface mount device (SMD).Transistor packages are made of glass, metal,… …   Wikipedia

  • Discrete space — In topology, a discrete space is a particularly simple example of a topological space or similar structure, one in which the points are isolated from each other in a certain sense. Contents 1 Definitions 2 Properties 3 Uses …   Wikipedia

  • Discrete group — Concepts in group theory category of groups subgroups, normal subgroups group homomorphisms, kernel, image, quotient direct product, direct sum semidirect product, wreath product …   Wikipedia

  • Discrete mathematics — For the mathematics journal, see Discrete Mathematics (journal). Graphs like this are among the objects studied by discrete mathematics, for their interesting mathematical properties, their usefulness as models of real world problems, and their… …   Wikipedia

  • Category of topological spaces — In mathematics, the category of topological spaces, often denoted Top, is the category whose objects are topological spaces and whose morphisms are continuous maps. This is a category because the composition of two continuous maps is again… …   Wikipedia

  • Discrete geometry — A collection of circles and the corresponding unit disk graph Combinatorial geometry redirects here. The term combinatorial geometry is also used in the theory of matroids to refer to a simple matroid, especially in older texts. Discrete geometry …   Wikipedia

  • Discrete valuation ring — In abstract algebra, a discrete valuation ring (DVR) is a principal ideal domain (PID) with exactly one non zero maximal ideal. This means a DVR is an integral domain R which satisfies any one of the following equivalent conditions: R is a local… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”