1 citations · 1 across the 9 of their papers we have counts for
Showing 2022 · math.CTShow all
2 papers · 2 filters
math.CT2022
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…
math.CT2022
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…