Regular syntactic category
= Regular syntactic category
{title2=$\mathcal C_{\mathbb T}$}
The regular syntactic category has regular formulas-in-context as objects and provably functional regular relations as arrows. It has finite limits and stable image factorizations, with existential quantification supplying images. The <regular coverage> on this category presents the classifying topos of the theory.