most citedSheaves of Structures, Heyting-Valued Structures, and a Generalization of Łoś's Theorem

3 citations · 3 across the 2 of their papers we have counts for

collaborators

2 papers

math.CT2022

Limits, Colimits, and Spectra of Modelled Spaces

Hisashi Aratake

It is well-known that the construction of Zariski spectra of (commutative) rings yields a dual adjunction between the category of rings and the category of locally ringed spaces. T…

math.LO2020★ 3 cited

Sheaves of Structures, Heyting-Valued Structures, and a Generalization of Łoś's Theorem

Hisashi Aratake

Sheaves of structures are useful to give constructions in universal algebra and model theory. We can describe their logical behavior in terms of Heyting-valued structures. In this…