Regular theory
= Regular theory
{title2=$\mathbb T$}
A regular theory has axioms that are sequents between <regular formulas>. It has a <regular syntactic category> and a classifying topos of sheaves for the <regular coverage>. Its regular formulas enjoy the <disjunction property of regular theories> when a finite disjunction is allowed as an outer coherent conclusion.