In category theory, a regular category is a category with finite limits and coequalizers of all pairs 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.
In category theory, a regular category is a category with finite limits and coequalizers of all pairs 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.
Source: Wikipedia "Regular category" · CC BY-SA 4.0
Share this article: X · Bluesky