Title:$κ$-left-exact and $κ$-regular copresheaves on $(κ,κ)$-coherent categories

Abstract:$\kappa $-left-exact copresheaves on a $\kappa $-site $(\mathcal{C},E)$ form a full reflective subcategory in $(\mathcal{C},E)\downarrow \mathbf{Site}^{\sim }_{\kappa }$, the category of site-morphisms out of $\mathcal{C}$. Given a $\kappa $-lex $F:\mathcal{C}\to \mathbf{Set}$ the construction extends $\mathcal{C}$ by adding constants along $F$.
When $\kappa $ has the tree property one can work with subcanonical sites. $\kappa $-regular copresheaves on $(\kappa ,\kappa )$-coherent categories are identified with $(\kappa ,\kappa )$-coherent functors to sheaves over $\kappa $-complete, $(\kappa ,\kappa )$-distributive Boolean-algebras.
We discuss some applications: first, a Boolean-valued completeness theorem, second, that $\mathcal{C}\to \mathbf{Set} $ regular functors (on coherent categories with disjoint coproducts) admit an elementary embedding to a product of coherent functors.