Boolean-valued models of (κ,κ)-coherent categories

A common theme in model theory is to introduce constant symbols naming the elements of a model. We describe the analogous construction in the language of syntactic categories/ sites. As an application we identify Boolean-valued models with \mathbf{Set}-valued regular functors on the syntactic category. For the coherent fragment $L_{\omega \omega... Show more