For a regular category , the regular coverage on is the coverage in which each covering family has just one element which is a regular epimorphism. The Grothendieck topology generated from a regular coverage is called the regular topology. It is the subcanonical Grothendieck topology whose covering families are generated by single regular epimorphisms: the regular coverage. If is exact or has pullback-stable reflexive coequalizers, then its codomain fibration is a stack for this topology (the...