Kristóf Kanalas

activity

20212025

most cited

S h (B)

-valued models of

(κ, κ)

-coherent categories

1 citations · 1 across the 9 of their papers we have counts for

collaborators

Showing 2023 · math.CTShow all

2 papers · 2 filters

math.CT2023

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 $λ$ -…

math.CT2023★ 1 cited

$S h (B)$ -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…

Every theory is eventually of presheaf type

Sh(B)-valued models of (κ,κ)-coherent categories

$S h (B)$ -valued models of $(κ, κ)$ -coherent categories