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…
A (2,1)-model structure for conceptual completeness
Kristóf Kanalas
We prove the (2,1)-categorical analogue of the small object argument and give a (2,1)-model structure on the category of small coherent categories, coherent functors and natural is…
Generic countably infinite groups
Márton Elekes, Boglárka Gehér, Kristóf Kanalas +2
Countably infinite groups (with a fixed underlying set) constitute a Polish space with a suitable metric, hence the Baire category theorem holds in . We study isomorphism in…
The (2,1)-category of small coherent categories
Kristóf Kanalas
There is a well-known correspondence between coherent theories (and their interpretations) and coherent categories (resp. functors), hence the (2,1)-category …