Showing 2023Show all
2 papers · 1 filter
math.CT2023
Ultraposet, Distributive Lattice, and Coherent Locale
Lingyuan Ye
In this paper, we provide an alternative description of the duality result for distributive lattices and coherent locales using ultraposet. In particular, we show that there are fu…
math.LO2023
Categorical structure in coherent theory of arithmetic
Lingyuan Ye
In this paper we provide a semantic and syntactic analysis of parametrised natural numbers object in coherent categories, or pr-coherent categories. Semantically, we show the defin…