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

Abstract:$\kappa $-left-exact copresheaves on a $(\kappa ,\kappa )$-coherent category $\mathcal{C}$ form a full reflective subcategory in $\mathcal{C}\downarrow \mathbf{Coh}^{\sim }_{\kappa ,\kappa }$, the category of $(\kappa ,\kappa )$-coherent functors out of $\mathcal{C}$. Given a $\kappa $-lex $F:\mathcal{C}\to \mathbf{Set}$ the construction extends $\mathcal{C}$ by adding constants along $F$.
$\kappa $-regular copresheaves are identified with $(\kappa ,\kappa )$-coherent functors to sheaves over $\kappa $-complete, $(\kappa ,\kappa )$-distributive Boolean-algebras. As an application we prove an infinitary version of the Heyting-valued completeness theorem, and characterise which $\kappa $-filtered colimit preserving functors $\mathbf{Coh}_{\kappa ,\kappa }(\mathcal{D},\mathbf{Set})\to \mathbf{Coh}_{\kappa ,\kappa }(\mathcal{C},\mathbf{Set})$ are coming from an interpretation $\mathcal{C}\to \mathcal{D}$.
We investigate the functorial properties of two semiring invariants of lex copresheaves over coherent categories.