Quotient-theory coverage
= Quotient-theory coverage
Adding coherent or geometric axioms to a theory determines a coverage on a site for its <classifying topos>. The antecedent presentation is covered by presentations where its consequent disjuncts and witnesses hold. Sheafification imposes those axioms on the generic model. An inconsistent antecedent gets an empty cover.