nLab
atomic geometric morphism

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Contents

Definition

Definition

A geometric morphism f:ℰ→f *←f *ℱ is called atomic if its inverse image f * is a logical functor.

Definition

A sheaf topos is called atomic if its global section geometric morphism is atomic.

Generally, a topos over a base topos Γ:ℰ→𝒮 is called an atomic topos if Γ is atomic.

Note

As shown in prop. 2 below, every atomic morphism f:ℰ→𝒮 is also a locally connected geometric morphism. The connected objects A∈ℰ,f !A≃* are called the atoms of ℰ.

See (Johnstone, p. 689).

Properties

Proposition

Atomic morphisms are closed under composition.

Proposition

An atomic geometric morphism is also a locally connected geometric morphism.

Proof

By this proposition a logical morphism with a right adjoint has also a left adjoint.

Proposition

If an atomic morphism is also a connected, then it is even hyperconnected.

This appears as (Johnstone, lemma 3.5.4).

Corollary

Let ℰ be a Grothendieck topos with enough points. Then ℰ is a Boolean topos precisely if it is an atomic topos.

This appears as (Johnstone, cor. 3.5.2).

Proof

If Γ * logical then it preserves the isomorphism *∐*≃Ω characterizing a Boolean topos and hence ℰ is Boolean if it is atomic.

For the converse…

Proposition

A localic geometric morphism is atomic precisely if it is an etale geometric morphism.

This appears as (Johnstone, lemma 3.5.4 (iii)).

Examples

Proposition

Every etale geometric morphism is atomic.

References

Section C3.5 of

Revised on April 20, 2011 15:38:19 by Urs Schreiber (131.211.233.58)
Edit | Back in time (1 revision) | See changes | History | Views: Print | TeX | Source | Linked from: classifying topos, sheaf and topos theory, topos, sheaf, presheaf, site, ETCS, Grothendieck topos, subobject classifier, Heyting algebra, global element, cover, sieve, Grothendieck topology, Lawvere-Tierney topology, geometric morphism, locale, Heyting category, pretopos, Elephant, internal logic, coverage, Grothendieck pretopology, subcanonical coverage, Isbell envelope, fundamental group of a topos, frame, Grothendieck's Galois theory, universe in a topos, abelian sheaf, local isomorphism, base change, category of sheaves, sheafification, category of open subsets, dense monomorphism, Sheaves in Geometry and Logic, ringed site, inverse image, natural numbers object, co-Yoneda lemma, D-module, quasicoherent sheaf, ringed space, Verdier site, geometric embedding, synthetic differential geometry, separated presheaf, quasitopos, stalk, point of a topos, concrete sheaf, effective topos, big and little toposes, Models for Smooth Infinitesimal Analysis, flabby sheaf, soft sheaf, fine sheaf, higher topos theory, localic topos, (0,1)-topos, locally ringed space, structure sheaf, topos theory - contents, Q-category, 1-topos, ringed topos, Kock-Lawvere axiom, ionad, geometric theory, canonical topology, Johnstone's topological topos, fully formal ETCS, open cover, inhabited object, logical functor, bounded geometric morphism, locally connected geometric morphism, etale geometric morphism, fpqc site, DistLat, open map, Loc, global section, essential geometric morphism, category of presheaves, subtopos, connected topos, forcing, locally connected topos, big site, topological locale, double negation, Diaconescu's theorem, base topos, homotopy equivalence of toposes, localic geometric morphism, hyperconnected geometric morphism, indecomposable object, coherent coverage, poset of subobjects, line object, Topos, local geometric morphism, cohesive topos, Galois topos, local site, constructive Gelfand duality theorem, van Kampen theorem for toposes, surjective geometric morphism, cosheaf, etale site, strongly connected topos, over-topos, topos of algebras over a monad, Tannaka duality for geometric stacks, locally ringed topos, standard site, fppf site, (geometric surjection, embedding) factorization system, regular coverage, Handbook of Categorical Algebra, dense sub-site, syntactic site, cartesian site, Bohr topos, atomic geometric morphism, syntactic category, coherent topos, regular topos, internal site, indexed topos, geometric transformation, n-topos, internal sheaf, real numbers object, contents of contents, proper geometric morphism, open geometric morphism, (hyperconnected, localic) factorization system, Artin gluing, topos of types, Giraud's theorem, closed cover, separated geometric morphism, unbounded topos, plus construction on presheaves, sheaf of meromorphic functions, morphism of sites, sheaf of abelian groups, realizability topos, predicative topos, Galois cohomology