Regular category

（重定向自Regular logic）

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.

单词	Regular logic
释义	Regular logic 英语百科 Regular category （重定向自Regular logic） 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.
随便看	navigable span的意思 navigable speed的意思 navigable tunnel的意思 navigable velocity的意思 Navigable water的意思 navigable water level的意思 navigable water level, NWL的意思 Navigable waters的意思 navigable water stage的意思 Navigable waterway的意思 navigable waterway of int rnatonal concern的意思 navigable waterways的意思 navigable zone的意思 navigably的意思 navigal的意思 Navigant的意思 Navigare的意思 navigares的意思 navigatable的意思 navigate的意思 navigate a bill through the parliament的意思 navigate的意思 navigate home的意思 navigate的意思 navigate the stair的意思