Geometric syntactic category
= Geometric syntactic category
{title2=$\mathcal C_{\mathbb T}$}
Objects are <geometric formulas> in context modulo provable equivalence. Morphisms are provably total, single-valued geometric relations; composition is existential conjunction. Conjunction and equality give <finite limits>. Interpreting formulas in a model gives a finite-limit-preserving <functor>, with the additional continuity condition supplied by the <geometric syntactic topology>.