Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem

Aratake, Hisashi

doi:10.1002/malq.202000088

Cited by 4 publications

(1 citation statement)

References 56 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…a homomorphism of T 0 -models) in the topos Sh(X) of set-valued sheaves. For more explanation of sheaves of structures, see [Ara21].…”

Section: Categories Of Modelled Spacesmentioning

confidence: 99%

Limits, Colimits, and Spectra of Modelled Spaces

Aratake¹

2022

Preprint

Self Cite

View full text Add to dashboard Cite

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. There are many constructions of spectra of algebras in various contexts giving such adjunctions. Michel Coste unified them in the language of categorical logic by showing that, for an appropriate triple (T0, T, Λ) (which we call a spatial Coste context), each T0-model can be associated with a T -modelled space and that this yields a dual adjunction between the category of T0-models and the category of T -modelled spaces and "admissible" morphisms. However, most of his proofs remain unpublished. In this paper, we introduce an alternative construction of spectra of T0-models and give another proof of Coste adjunction. Moreover, we also extend spectra of T0-models to relative spectra of T0-modelled spaces and prove the existence of limits and colimits in the involved categories of modelled spaces. We can deduce, for instance, that the category of ringed spaces whose stalks are fields is complete and cocomplete.

show abstract

“…a homomorphism of T 0 -models) in the topos Sh(X) of set-valued sheaves. For more explanation of sheaves of structures, see [Ara21].…”

Section: Categories Of Modelled Spacesmentioning

confidence: 99%