Repleteness and the associated sheaf

DOI10.1016/S0022-4049(96)00151-XMaRDI QIDQ1295499zbMATH OpenFDO

Authors Anna Bucalo, Giuseppe Rosolini

Publication date 16 August 1999

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(96)00151-X

zbMATH Keywords

associated sheaf functorelementary topositerated power-objectsLawvere-Tierney topologyrepleteness

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Topoi (18B25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Review text

The authors give a new construction of the associated sheaf functor for a Lawvere-Tierney topology in an elementary topos, using the idea of `repleteness' first developed in synthetic domain theory. The construction is very simple, but since it involves iterated power-objects it does not readily yield an explicit description of the associated sheaf in particular cases.

Recommendations

• A note on the sheaf functor
• scientific article; zbMATH DE number 4095456
• A proof of the associated sheaf theorem by means of categorical logic
• On topologies in a topos

Cites work

• A proof of the associated sheaf theorem by means of categorical logic
• Aspects of topoi: Corrigenda and acknowledgements
• Colimits in Topoi
• scientific article; zbMATH DE number 3422590 (Why is no real title available?)
• scientific article; zbMATH DE number 3809803 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 19486 (Why is no real title available?)
• scientific article; zbMATH DE number 3505199 (Why is no real title available?)
• scientific article; zbMATH DE number 3568874 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 3450419 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• scientific article; zbMATH DE number 3300467 (Why is no real title available?)
• scientific article; zbMATH DE number 3394385 (Why is no real title available?)
• scientific article; zbMATH DE number 3396151 (Why is no real title available?)
• Localization and Sheaf Reflectors
• Sheaves in geometry and logic: a first introduction to topos theory
• The S-replete construction

Cited in

(6)

• On right adjoints to exponential functors
• A note on the sheaf functor
• Inductive construction of repletion
• Sobriety for equilogical spaces
• scientific article; zbMATH DE number 4095456 (Why is no real title available?)
• Domains in \(H\)

This page was built for publication: Repleteness and the associated sheaf

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