nLab base topos

Redirected from "base toposes".
Contents

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

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

𝔼:𝒮 opCat \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.