In category theory, a regular category is a category with finite limits and coequalizers of a pair of morphisms called kernel pairs, satisfying certain exactness conditions. In that way, regular categories recapture many properties of abelian categories, like the existence of images, without requiring additivity. At the same time, regular categories provide a foundation for the study of a fragment of first-order logic, known as regular logic.

Property Value
dbo:abstract
  • In de categorietheorie, een abstract deelgebied van de wiskunde, is een regelmatige categorie een categorie met eindige limieten en coequalizers van kernparen, die voldoen aan zekere exactheids-voorwaarden. Op die manier vangt men in regelmatige vele eigenschappen van abelse categorieën, zoals het bestaan van beelden, zonder dat er additiviteit vereist is. Tegelijkertijd leggen regelmatige categorieën een fundament voor de studie van een deel van de eerste-orde logica, dat bekendstaat als regelmatige logica. (nl)
  • In category theory, a regular category is a category with finite limits and coequalizers of a pair of morphisms called kernel pairs, satisfying certain exactness conditions. In that way, regular categories recapture many properties of abelian categories, like the existence of images, without requiring additivity. At the same time, regular categories provide a foundation for the study of a fragment of first-order logic, known as regular logic. (en)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 9790950 (xsd:integer)
dbo:wikiPageRevisionID
  • 739925806 (xsd:integer)
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs:comment
  • In de categorietheorie, een abstract deelgebied van de wiskunde, is een regelmatige categorie een categorie met eindige limieten en coequalizers van kernparen, die voldoen aan zekere exactheids-voorwaarden. Op die manier vangt men in regelmatige vele eigenschappen van abelse categorieën, zoals het bestaan van beelden, zonder dat er additiviteit vereist is. Tegelijkertijd leggen regelmatige categorieën een fundament voor de studie van een deel van de eerste-orde logica, dat bekendstaat als regelmatige logica. (nl)
  • In category theory, a regular category is a category with finite limits and coequalizers of a pair of morphisms called kernel pairs, satisfying certain exactness conditions. In that way, regular categories recapture many properties of abelian categories, like the existence of images, without requiring additivity. At the same time, regular categories provide a foundation for the study of a fragment of first-order logic, known as regular logic. (en)
rdfs:label
  • Regular category (en)
  • Regelmatige categorie (nl)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of