Limits, Colimits, and Spectra of Modelled Spaces

TL;DR

This paper introduces a new construction of spectra for $T_0$-models within the framework of categorical logic, providing alternative proofs of Coste's dual adjunction and establishing limits and colimits in categories of modelled spaces.

Contribution

It offers an alternative construction of spectra for $T_0$-models, extends to relative spectra, and proves the existence of limits and colimits in categories of modelled spaces.

Findings

Constructed an alternative spectrum for $T_0$-models.

Extended spectra to relative spectra of modelled spaces.

Proved the category of ringed spaces with field stalks is complete and cocomplete.

Abstract

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 $ (T_0,T,\Lambda) $ (which we call a spatial Coste context), each $ T_0 $-model can be associated with a $ T $-modelled space and that this yields a dual adjunction between the category of $ T_0 $-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 $ T_0 $-models and give another proof of Coste adjunction. Moreover, we also extend spectra of $ T_0 $-models to relative spectra of $ T_0 $-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.