An atomic topos is a topos $\mathcal{E}$ where the global sections functor $\Gamma: \mathcal{E} \to Set$ is atomic. In the case where $\mathcal{E}$ is a Grothendieck topos, there are some (arguably more explicit) alternative characterizations of atomic toposes, as in Theorem , which make it clearer why they are called “atomic”.
Recall that a geometric morphism $f$ is called atomic if its inverse image functor $f^*$ is logical.
A topos over a base topos $\Gamma : \mathcal{E} \to \mathcal{S}$ is called an atomic topos if $\Gamma$ is atomic. Unless otherwise specified, the base topos will be taken to be $Set$.
A non-zero object $A$ of a topos $\mathcal{E}$ is an atom if its only subobjects are $A$ and $0$.
Let $\mathcal{E}$ be a Grothendieck topos. Then the following are equivalent:
$\mathcal{E}$ is an atomic topos.
$\mathcal{E}$ is the category of sheaves on an atomic site.
The subobject lattice of every object of $\mathcal{E}$ is a complete atomic Boolean algebra.
$\mathcal{E}$ has a small generating set of atoms.
Every object of $\mathcal{E}$ can be written as a disjoint union of atoms.
Let $\mathcal{E}$ be an atomic topos. Then $\mathcal{E}$ is Boolean.
This appears as one direction of (Johnstone, cor. C3.5.2).
If $\Gamma^*$ is logical then it preserves the isomorphism $* \coprod * \simeq \Omega$ characterizing a Boolean topos.
Let $\mathcal{E}$ be a Boolean Grothendieck topos with enough points. Then $\mathcal{E}$ is an atomic topos.
See (Johnstone, cor. C3.5.2)
Atomic Grothendieck toposes $Sh(\mathcal{C}, J_{at})$ for $(\mathcal{C}, J_{at})$ an atomic site are precisely the double negation subtoposes $Sh_{\neg\neg}(Set^{\mathcal{C}^{op}})$ for a De Morgan presheaf topos $Set^{\mathcal{C}^{op}}$.
For the argument see at atomic site.
Atomic toposes decompose as disjoint unions of connected atomic toposes. Connected atomic toposes with a point are the classifying toposes of localic groups.
An example of a connected atomic topos without a point is given in (Johnstone, example D3.4.14).
A category of presheaves $Set^{\mathcal{C}^{op}}$ is atomic precisely iff $\mathcal{C}$ is a groupoid (cf. Barr-Diaconescu (1980)).
Another example of an atomic Grothendieck topos is the Schanuel topos. More generally, any category of G-sets is an atomic Grothendieck topos.
Michael Barr, Radu Diaconescu, Atomic Toposes , JPAA 17 (1980) pp.1-24. (pdf)
Olivia Caramello, Atomic toposes and countable categoricity , Appl. Cat. Struc. 20 no. 4 (2012) pp.379-391. (arXiv:0811.3547)
Peter Johnstone, Sketches of an Elephant vol. 2 , Oxford UP 2002. (section C3.5, pp.684-695)
Last revised on October 16, 2020 at 13:01:07. See the history of this page for a list of all contributions to it.