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 2024Show all

2 papers · 1 filter

math.CT2024

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

math.CT2024

Pure maps are strict monomorphisms

Kristóf Kanalas

We prove that $i)$ if $A$ is $λ$ -accessible and it is axiomatizable in (finitary) coherent logic then $λ$ -pure maps are strict monomorphisms and $ii)$ if there is a prope…

Positively closed Sh(B)-valued models

Pure maps are strict monomorphisms

Positively closed $S h (B)$ -valued models