A functor between coherent categories is called coherent if it is a regular functor and in addition preserves finite unions.
For a coherent theory and its syntactic category, coherent functors into some topos are precisely models of the theory in .
For equipped with the structure of the syntactic site (the coherent coverage), this is in turn equivalent to geometric morphisms into the sheaf topos over (the classifying topos for the theory).
coherent functor
Page 34 of
Created on April 26, 2011 at 12:08:16. See the history of this page for a list of all contributions to it.