Regular coverage
= Regular coverage
{title2=$R$}
The regular coverage on a small <regular category> takes each regular epimorphism as a one-arrow cover. Pullback and composition stability make these a coverage basis. It is subcanonical because maps constant on the kernel pair of a regular epimorphism descend uniquely to its quotient.