КОД (ISBN):
6130347766
978-6-130-34776-5
6130347766
978-6-130-34776-5
Книга: Regular Category: Category Theory, Limit, Coequalizer, Abelian Category, First-Order Logic, Complete Category, Morphism, Pullback, Epimorphism, Category of Sets, Topos, Ring Homomorphism
Товар № 10197925
Товар отсутствует |
Узнать о поступлении |
High Quality Content by WIKIPEDIA articles! In category theory, a regular category is a category with finite limits and coequalizers of 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.
Читать далее