Showing changes from revision #11 to #12:
Added | Removed | Changed
A regular category is a finitely complete category which admits a good notion of image factorization. A primary raison d’etre behind regular categories is to have a decently behaved calculus of relations in . Regular categories are also the natural setting for regular logic.
A category is regular if
It is finitely complete;
The kernel pair of any admits a coequalizer; and
The pullback of a regular epi along any map is a regular epi.
Here the “kernel pair” is the parallel pair of projection maps coming out of a pullback of the diagram
The kernel pair is always an internal equivalence relation on in ; informally, is the subobject of consisting of pairs of elements which have the same value under (sometimes called the ‘kernel’ of a function in ). The coequalizer above is supposed to be the “object of equivalence classes” of the equivalence relation .
A map which is the coequalizer of a parallel pair of morphisms is called a regular epimorphism . In fact, in any category satisfying the first two conditions above, every coequalizer is the coequalizer of its kernel pair. (See for instance Paul Taylor’s Practical Foundations of Mathematics, Lemma 5.6.6.) 5.6.6 inPractical Foundations.)
The last condition may equivalently be stated in the form “coequalizers of kernel pairs are stable under pullback”. However, it is not generally true in a regular category that the pullback of a general coequalizer diagram
along a morphism is again a coequalizer diagram.
To form the image factorization of a map , let be the coequalizer of the kernel pair of . Since coequalizes its kernel pair, there is a unique map such that . It may be shown from the regular category axioms that is monic and in fact represents the image of , i.e., the smallest subobject through which factors. Moreover, the classes of regular epis and of (all) monomorphisms form a factorization system.
In fact, a regular category can alternately be defined as a finitely complete category with pullback-stable image factorizations. See familial regularity and exactness for a generalization of this approach to include coherent categories as well.
Set is a regular category. In fact, any topos is regular. More generally, a locally cartesian closed category with coequalizers is regular, and so any quasitopos is regular.
The category of models of any finitary algebraic theory (i.e., Lawvere theory) is regular. This applies in particular to the category Ab of abelian groups.
Any abelian category is regular.
If is regular, then so is for any category .
Examples of categories which are not regular include Cat, Pos, and Top.
Further desirable exactness properties can be phrased in the language of Galois connections. For each object , consider the following relation between the class of parallel pairs ) and maps :
[to be continued]
Revision on February 8, 2009 at 00:23:01 by Toby Bartels See the history of this page for a list of all contributions to it.