1 citations · 1 across the 9 of their papers we have counts for
9 papers
Various topos of types constructions
Kristóf Kanalas
We study and compare some topos of types constructions, which were defined by Garner, Joyal, Reyes and Makkai.
Positively closed -valued models
Kristóf Kanalas
We study positively closed and strongly positively closed topos-valued models of coherent theories. Positively closed is a global notion (it is defined in terms of all possible out…
Pure maps are strict monomorphisms
Kristóf Kanalas
We prove that if is -accessible and it is axiomatizable in (finitary) coherent logic then -pure maps are strict monomorphisms and if there is a prope…
Every theory is eventually of presheaf type
Christian Espíndola, Kristóf Kanalas
We give a detailed and self-contained introduction to the theory of -toposes and prove the following: 1) A -separable -topos has enough -points. 2) The classifying -…
-valued models of -coherent categories
Kristóf Kanalas
A basic technique in model theory is to name the elements of a model by introducing new constant symbols. We describe the analogous construction in the language of syntactic catego…
Positive model theory of interpretations
Kristóf Kanalas
We prove analogues of model theory results for coherent functors, including variants of the omitting types theorem and some results on ultraproduct con…