Sheaf representation for topoi

DOI10.1016/S0022-4049(98)00076-0MaRDI QIDQ1963980zbMATH OpenOpenAlexWikidataFDO

Authors Steve Awodey

Publication date 17 September 2000

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0022-4049(98)00076-0

zbMATH Keywords

local topoisheaf representationsstack

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Review text

A result of \textit{J. Lambek} and \textit{I. Moerdijk} [``Two sheaf representations for elementary toposes, in: The L. E. J. Brower Centen. Symp., Stud. Logic Found. Math. 110, 275-295 (1982; Zbl 0511.03028)] states that every small topos is equivalent to the category of global sections of a sheaf of local topoi. The main interest of this theorem is that it is analogous to a well-known theorem due to \textit{A. Grothendieck} that asserts that every commutative ring is isomorphic to the ring of global sections of a sheaf of local rings. Indeed, a topos is said to be local if the Heyting algebra of subobjects of the terminal object in it has a unique maximal ideal. Another way to express it is to say that a topos is local if the terminal object is indecomposable or, equivalently, if the theory it classifies has the ``disjunction property. From the logical viewpoint, this corresponds to a completeness theorem of a limited sort. The present paper takes care also of the ``existence property by considering topoi, called ``hyperlocal, in which the terminal object is (not only indecomposable but also) projective and proving a corresponding representation theorem. To prove that every topos is equivalent to the category of global sections of a sheaf of hyperlocal topoi, the sheaf in question arises most naturally as a Giraud stack. Part of the paper is then devoted to the technical question of turning a stack into a sheaf.

Recommendations

• Every étendue comes from a local equivalence relation
• scientific article; zbMATH DE number 822489
• Publication:4205614
• On a generalization of equilogical spaces
• scientific article; zbMATH DE number 4208341
• Covering Etendues and Freyd's Theorem
• Local Maps of Toposes
• Projectivity of sheaves on a locale and of free modules
• On toposes generated by cardinal finite objects
• The symmetric topos

Cited in

(9)

• Sheaves over Heyting lattices
• Sheaf representation of monoidal categories
• Une construction universelle des spectres topologies spectrales et faisceaux structuraux
• On Representations of Grothendieck Toposes
• Local Maps of Toposes
• scientific article; zbMATH DE number 4125644 (Why is no real title available?)
• On toposes generated by cardinal finite objects
• Projectivity of sheaves on a locale and of free modules
• What is the world of mathematics?

This page was built for publication: Sheaf representation for topoi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1963980)