nLab
totally connected 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

Totally connected geometric morphism

Definition

A geometric morphism f:E→S is totally connected if

  1. It is locally connected, i.e. its inverse image functor f * has a left adjoint f ! which is S-indexed, and

  2. The functor f ! is left exact, i.e. preserves finite limits.

When thinking of E as a topos over S via f, we say that it is a totally connected S-topos. In particular, when S=Set and f=(LConst,Γ) is the unique global sections geometric morphism, we call E a totally connected topos.

Properties

Of course, any totally connected geometric morphism is connected, since the terminal object is a particular finite limit. It is also strongly connected, since finite products are also finite limits.

Examples

  • A topos Sh(X) of sheaves on a topological space is totally connected iff X has a dense point (a single point whose closure is all of X).

  • A presheaf topos Psh(C) is totally connected iff C is cofiltered.

Totally connected sites

A small site C is called totally connected if

  1. C is cofiltered, and

  2. Every covering sieve in C is connected, when regarded as a subcategory of a slice category.

The second condition implies that all constant presheaves are sheaves, and hence that the left adjoint Colim:Psh(C)→Set of Const:Set→Psh(C) restricts to Sh(C) to give a left adjoint of LConst. Cofilteredness of C is exactly what is needed for left exactness of Colim:Psh(C)→Set, essentially by definition. Hence the topos of sheaves on any totally connected site is totally connected.

Conversely, one can show that any totally connected topos can be (but need not be) presented by some totally connected site.

and

References

Chapter C3.6 in

Revised on January 6, 2011 01:10:44 by Urs Schreiber (89.204.153.69)
Edit | Back in time (4 revisions) | 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, large site, 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, direct image, inverse image, natural numbers object, co-Yoneda lemma, D-module, quasicoherent sheaf, ringed space, Verdier site, geometric embedding, synthetic differential geometry, algebraic stack, 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, small presheaf, geometric theory, canonical topology, Johnstone's topological topos, fully formal ETCS, open cover, little site, inhabited object, logical functor, bounded geometric morphism, locally connected geometric morphism, etale geometric morphism, locally constant sheaf, fpqc site, DistLat, open map, Loc, global section, essential geometric morphism, category of presheaves, subtopos, connected topos, forcing, locally connected topos, good open cover, big site, topological locale, frame of opens, double negation, posite, 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, strongly connected site, cohesive topos, totally connected geometric morphism, locally connected site, Barr's theorem, Galois topos, local site, constructive Gelfand duality theorem, van Kampen theorem for toposes, surjective geometric morphism, cosheaf, Lawvere interval, etale site, strongly connected topos, over-topos, topos of algebras over a monad, Tannaka duality for geometric stacks, locally ringed topos, little etale topos, standard site, fppf site, connected site, (geometric surjection, embedding) factorization system, crystalline site, regular coverage, Handbook of Categorical Algebra, dense sub-site, small-generated 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