homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
n-category = (n,n)-category
n-groupoid = (n,0)-category
A regular epimorphism is a morphism $c\to d$ in a category which behaves in the way that a covering is expected to behave, in the sense that ”$d$ is the union of the parts of $c$, identified with each other in some specified way”.
In a category with pullbacks, regular epimorphisms are the same as effective epimorphisms and strict epimorphisms. Every regular epimorphism is an epimorphism, and every split epimorphism is regular, but the converses frequently fail.
A regular epimorphism is a morphism $f \colon c \to d$ (in a given category) that is the coequalizer of some parallel pair of morphisms, i.e. if there exists some colimit diagram of the form
The dual concept is that of regular monomorphism.
The definition refers only to some parallel pair, but often there is a canonical choice: the kernel pair of the morphism in question. A morphism having a kernel pair (such as any morphism in a category with pullbacks) is a regular epimorphism if and only if it is the coequalizer of its kernel pair. See, for instance Lemma 5.6.6 in Practical Foundations; this also follows from the theory of generalized kernels). A regular epimorphism with a kernel pair, or equivalently a morphism that is the coequalizer of its kernel pair, is here called an effective epimorphism.
Although the definition doesn't state so explicitly, it is true (and easy to prove) that any regular epimorphism is an epimorphism. In fact, every regular epimorphism is a strong epimorphism, hence an extremal epimorphism. In particular, this implies that a regular epimorphism which is also a monomorphism must in fact be an isomorphism.
Frequently (such as in a regular category), every strong or extremal epimorphism is regular. Moreover, in a regular category, every regular epimorphism is stable, and therefore a descent morphism. If the category is moreover exact, or has stable reflexive coequalizers, then every regular epimorphism is an effective descent morphism.
On the other hand, every split epimorphism is regular, but the converse holds only rarely (it is an internal form of the axiom of choice).
In the category of sets, every epimorphism is regular. Thus, it can be hard to know, when generalising concepts from $\Set$ to other categories, what kind of epimorphism to use. Frequently, regular epimorphisms are a good choice. In particular, one may define a projective object (and hence the axiom of choice) using regular epimorphisms.
More generally, in every Grothendieck topos every epimorphism is regular (and in act effective, see there).
In the category of monoids, the inclusion $\mathbb{N}\hookrightarrow\mathbb{Z}$ is an epimorphism, even though it is far from a surjection. But in this or any other algebraic category (a category of models of an algebraic theory), the morphisms whose underlying function is surjective are precisely the regular epimorphisms. Thus $\mathbb{N}\hookrightarrow\mathbb{Z}$ is not a regular epimorphism.
In Diff, the category of smooth (paracompact) manifolds, regular epimorphisms are not as useful as in other settings. As any split epimorphism is regular, and split epimorphisms are badly behaved in $\Diff$ (for example, pullbacks of split epis do not necessarily exist), the usual procedure is to consider the smallest class of arrows inside regular epis of which all pullbacks exist, namely the surjective submersions. In the setting of differentiable stacks and Lie groupoids it is surjective submersions that play the role of regular epimorphisms.
The page epimorphism has a list of many types of epimorphism and their relationships.
The dual concept is regular monomorphism. In particular, in the presence of pullbacks, effective epimorphisms and strict epimorphisms are the same as regular ones.
In higher category theory: