Regular category
Mathematical category with finite limits and coequalizers / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Regular category?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
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.
This article includes a list of general references, but it lacks sufficient corresponding inline citations. (September 2016) |