In mathematics, in the field of category theory, a discrete category is a category whose only morphisms are the identity morphisms: homC(X, X) = {idX} for all objects XhomC(X, Y) = ∅ for all objects X ≠ Y Since by axioms, there is always the identity morphism between the same object, we can express the above as condition on the cardinality of the hom-set | homC(X, Y) | is 1 when X = Y and 0 when X is not equal to Y. Some authors prefer a weaker notion, where a discrete category merely needs to be equivalent to such a category.

Property Value
dbo:abstract
  • In mathematics, in the field of category theory, a discrete category is a category whose only morphisms are the identity morphisms: homC(X, X) = {idX} for all objects XhomC(X, Y) = ∅ for all objects X ≠ Y Since by axioms, there is always the identity morphism between the same object, we can express the above as condition on the cardinality of the hom-set | homC(X, Y) | is 1 when X = Y and 0 when X is not equal to Y. Some authors prefer a weaker notion, where a discrete category merely needs to be equivalent to such a category. (en)
  • En matemáticas específicamente en teoría de categorías una categoría discreta es una categoría cuyos únicos morfismos son los morfismos identidad. (es)
  • Im mathematischen Teilgebiet der Kategorientheorie ist eine diskrete Kategorie eine besonders triviale Kategorie. Eine Kategorie heißt genau dann diskret, wenn sie nur aus Objekten (und, falls man dazwischen unterscheidet, ihren jeweiligen identischen Morphismen) besteht. Mitunter werden zudem Kategorien, die äquivalent zu einer solchen Kategorie sind, zugelassen. Bei manchen Konstruktionen bilden diskrete Kategorien einen wichtigen Spezialfall. Eine Kategorie ist genau dann diskret, wenn sie zugleich Gruppoid und partielle Ordnung ist. (de)
  • En théorie des catégories, une branche des mathématiques, une catégorie discrète est une catégorie dont les seuls morphismes sont les morphismes identité : * homC(X, X) = {idX} pour tout objet X ; * homC(X, Y) = ∅ pour tous objets X ≠ Y. L'axiomatique d'une catégorie donne toujours l'existence du morphisme identité entre le même objet. Les propositions ci-dessus sont donc équivalentes à une condition de minimalité sur chaque collection de morphismes d'un objet dans un autre. Certains auteurs adoptent une définition plus faible d'une catégorie discrète : une catégorie est dite discrète lorsqu'elle est équivalente à une catégorie vérifiant les axiomes énoncés ci-dessus. (fr)
  • In de categorietheorie, een abstract deelgebied van de wiskunde, is een discrete categorie een categorie, waarvan de enige morfismen de identiteitsmorfismen zijn. Het is de eenvoudigste soort van categorie. Specifiek noemt men een categorie C discreet als voor alle objecten X voor alle objecten X ≠ Y Sinds er door axioma's altijd identiteitsmorfismen tussen hetzelfde object gedefinieerd zijn, is het bovenstaande equivalent aan zeggen dat Enige klasse van objecten definieert duidelijk een discrete categorie, wanneer zij wordt uitgebreid met identiteitsafbeeldingen. Enige deelcategorie van een discrete categorie is opnieuw discreet. Ook is een categorie dan en slechts dan discreet als al haar deelcategorieën volledig zijn. The limiet van enige functor van een discrete categorie naar een andere categorie wordt een product genoemd, terwijl de colimiet een coproduct wordt genoemd. (nl)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 808519 (xsd:integer)
dbo:wikiPageRevisionID
  • 665222630 (xsd:integer)
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs:comment
  • In mathematics, in the field of category theory, a discrete category is a category whose only morphisms are the identity morphisms: homC(X, X) = {idX} for all objects XhomC(X, Y) = ∅ for all objects X ≠ Y Since by axioms, there is always the identity morphism between the same object, we can express the above as condition on the cardinality of the hom-set | homC(X, Y) | is 1 when X = Y and 0 when X is not equal to Y. Some authors prefer a weaker notion, where a discrete category merely needs to be equivalent to such a category. (en)
  • En matemáticas específicamente en teoría de categorías una categoría discreta es una categoría cuyos únicos morfismos son los morfismos identidad. (es)
  • Im mathematischen Teilgebiet der Kategorientheorie ist eine diskrete Kategorie eine besonders triviale Kategorie. Eine Kategorie heißt genau dann diskret, wenn sie nur aus Objekten (und, falls man dazwischen unterscheidet, ihren jeweiligen identischen Morphismen) besteht. Mitunter werden zudem Kategorien, die äquivalent zu einer solchen Kategorie sind, zugelassen. Bei manchen Konstruktionen bilden diskrete Kategorien einen wichtigen Spezialfall. Eine Kategorie ist genau dann diskret, wenn sie zugleich Gruppoid und partielle Ordnung ist. (de)
  • In de categorietheorie, een abstract deelgebied van de wiskunde, is een discrete categorie een categorie, waarvan de enige morfismen de identiteitsmorfismen zijn. Het is de eenvoudigste soort van categorie. Specifiek noemt men een categorie C discreet als voor alle objecten X voor alle objecten X ≠ Y Sinds er door axioma's altijd identiteitsmorfismen tussen hetzelfde object gedefinieerd zijn, is het bovenstaande equivalent aan zeggen dat Enige klasse van objecten definieert duidelijk een discrete categorie, wanneer zij wordt uitgebreid met identiteitsafbeeldingen. (nl)
  • En théorie des catégories, une branche des mathématiques, une catégorie discrète est une catégorie dont les seuls morphismes sont les morphismes identité : * homC(X, X) = {idX} pour tout objet X ; * homC(X, Y) = ∅ pour tous objets X ≠ Y. L'axiomatique d'une catégorie donne toujours l'existence du morphisme identité entre le même objet. Les propositions ci-dessus sont donc équivalentes à une condition de minimalité sur chaque collection de morphismes d'un objet dans un autre. (fr)
rdfs:label
  • Discrete category (en)
  • Diskrete Kategorie (de)
  • Categoría discreta (es)
  • Catégorie discrète (fr)
  • Discrete categorie (nl)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of