Contents

topos theory

Contents

Idea

A topological site is a site $(\mathcal{C}, J)$ that generalizes the site that underlies Giraud’s gros topos of topological spaces. The aim is to get in $Sh(\mathcal{C}, J)$ a well-behaved category of topological spaces.

Definition

A site $(\mathcal{C}, J)$ is called topological if $\mathcal{C}$ is a category of topological spaces and continuous maps, which is closed under open inclusions i.e. if $X\in\mathcal{C}$ and $U\in\mathcal{O}(X)$ then $U\hookrightarrow X$ is a morphism in $\mathcal{C}$ and $J$ is the open cover topology i.e. $J$ is generated by families $\{ U_i\hookrightarrow X\}$ where the $U_i$ are open and jointly cover $X$.

A topos $\mathcal{E}$ is called topological when it is equivalent to a topos $Sh(\mathcal{C}, J)$ with $(\mathcal{C}, J)$ a topological site.

Remark

This definition follows Moerdijk-Reyes (1984) but some variation is possible here e.g. one could additionally demand that $\mathcal{C}$ is closed under finite limits and contains the real numbers $\mathbb{R}$ (cf. Mac Lane-Moerdijk 1994). Instead of topological spaces one could use locales - this is pursued by Fourman (1983,1984,2013). Compare also the approach taken in Montañez (2013).

Examples

• Let $\mathcal{C}$ have objects the locally compact subspaces of some $\mathbb{R}^n$, $n\in\mathbb{N}$ varying, and morphisms the $C^\infty$-maps. The topos $Sh(\mathcal{C}, J)$ is called the euclidean topos in Moerdijk-Reyes (1984) where its properties and in particular its relations with the Dubuc topos are explored.

Properties

Proposition

Let $A$ be a $T_U$-propositional theory, and let $A_0$ be the corresponding locale in $Set$ (so $Sh(A_0)$ classifies $A$-models in Grothendieck toposes). Let $Sh(\mathcal{C}, J)$ be a topological topos. Then the object of $A$-models in $Sh(\mathcal{C}, J)$ is given by the sheaf $Cts(-, A_0) : \mathcal{C}^{op}\to Set$ which assigns to a space $X$ in $\mathcal{C}$ the set of all continuous maps from $X$ to $A_0$.

This occurs as cor.1.5 in Moerdijk-Reyes (1984). Here $T_U$ is the pendant for locales of the $T_1$-separation property: a locale $X$ is $T_U$ if for all locale maps $f,g:Y\to X$ the relation $f\leq g$ implies $f=g$ (cf. the Elephant II, p.501).

Proposition

Let $Sh(\mathcal{C}, J)$ be a topological topos. Then the Fan theorem holds in $Sh(\mathcal{C}, J)$. If furthermore all $X\in\mathcal{C}$ are locally compact then Bar induction? holds as well.

This is contained in props.1.7-8 in Moerdijk-Reyes (1984).

References

Last revised on July 5, 2021 at 07:54:17. See the history of this page for a list of all contributions to it.