Regelmatige categorie

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

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.