Regular Category

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.

Read more about Regular CategoryDefinition, Examples, Epi-mono Factorization, Exact Sequences and Regular Functors, Regular Logic and Regular Categories, Exact (effective) Categories, See Also

Other articles related to "category, regular category":

Allegory (category Theory) - Regular Categories and Allegories - Maps in Allegories, and Tabulations
... a right adjoint in A, when A is considered, using the local order structure, as a 2-category ... For a regular category C, there is an isomorphism of categories C≅Map(Rel(C)) ... For a regular category C, the allegory Rel(C) is always tabular ...

Famous quotes containing the words category and/or regular:

    I see no reason for calling my work poetry except that there is no other category in which to put it.
    Marianne Moore (1887–1972)

    “I couldn’t afford to learn it,” said the Mock Turtle with a sigh. “I only took the regular course.”
    “What was that?” inquired Alice.
    “Reeling and Writhing, of course, to begin with,” the Mock Turtle replied; “and then the different branches of Arithmetic—Ambition, Distraction, Uglification, and Derision.”
    “I never heard of ‘Uglification,’” Alice ventured to say.
    Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)