Regelmatige categorie
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.
This article is issued from
Wikipedia.
The text is licensed under Creative
Commons - Attribution - Sharealike.
Additional terms may apply for the media files.