base topos (changes) in nLab
Showing changes from revision #6 to #7: Added | Removed | Changed
Context
Topos Theory
Background
Toposes
Internal Logic
Topos morphisms
Cohomology and homotopy
In higher category theory
Theorems
Contents
Idea
Every sheaf topos ℰ\mathcal{E} of sheaves with values in Set is canonically and essentially uniquely equipped with its global section geometric morphism Γ:ℰ→Set\Gamma : \mathcal{E} \to Set. So in particular for ℰ→ℱ\mathcal{E} \to \mathcal{F} any other geometric morphism, we have necessarily a diagram
ℰ → ℱ ↘ ⇙ ≃ ↙ Set \array{ \mathcal{E} &&\to&& \mathcal{F} \\ & \searrow &\swArrow_{\simeq}& \swarrow \\ && Set }
in the 2-category Topos.
Accordingly, if ℰ\mathcal{E} and ℱ\mathcal{F} are both equipped with geometric morphism to some other topos 𝒮\mathcal{S}, it makes sense to restrict attention to those geometric morphisms between them that do form commuting triangles as before
ℰ → ℱ ↘ ⇙ ≃ ↙ 𝒮 \array{ \mathcal{E} &&\to&& \mathcal{F} \\ & \searrow &\swArrow_{\simeq}& \swarrow \\ && \mathcal{S} }
but now over the new base topos 𝒮\mathcal{S}. This is a morphism in the slice 2-category Topos/𝒮/\mathcal{S}.
One can develop essentially all of topos theory in Topos/𝒮Topos/\mathcal{S} instead of in ToposTopos itself.
To some extent it is also possible to speak of a base topos entirely internally to a given topos. See for instance (AwodeyKishida).
Constructions
Definition
To 𝒮\mathcal{S} itself we associate the 𝒮\mathcal{S}-indexed category (the canonical self-indexing) 𝕊\mathbb{S} given by
𝕊 I=𝒮/I. \mathbb{S}^I = \mathcal{S}/I \,.
To p:ℰ→𝒮p : \mathcal{E} \to \mathcal{S} a topos over a base 𝒮\mathcal{S}, we associate the 𝒮\mathcal{S}-indexed category
𝔼:𝒮 op→Cat \mathbb{E} : \mathcal{S}^{op} \to Cat
which sends an object I∈𝒮I \in \mathcal{S} to the over-topos of ℰ\mathcal{E} over the inverse image of II under the geometric morphism pp
ℰ I:=ℰ/p *(I). \mathcal{E}^I := \mathcal{E}/p^*(I) \,.
Proposition
The geometric morphism p:ℰ→𝒮p : \mathcal{E} \to \mathcal{S} induces an 𝒮\mathcal{S}-indexed geometric morphism (hence a geometric morphism internal to the slice 2-category Topos/𝒮/\mathcal{S})
𝕡:𝔼→𝕊. \mathbb{p} : \mathbb{E} \to \mathbb{S} \,.
By the discussion at indexed category.
References
The general notion of base toposes is the topic of section B3 of
An internal description of base toposes in the context of modal logic appears in
- Steve Awodey, Kohei Kishida, Topology and modality: the topological interpretation of first-order modal logic (pdf)
Last revised on October 25, 2021 at 15:34:45. See the history of this page for a list of all contributions to it.