The associated sheaf functor in an elementary topos
From MaRDI portal
Publication:1845804
DOI10.1016/0022-4049(74)90023-1zbMath0287.18013OpenAlexW2046512983WikidataQ126653249 ScholiaQ126653249MaRDI QIDQ1845804
Publication date: 1974
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(74)90023-1
Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Grothendieck topologies and Grothendieck topoi (18F10)
Related Items
The associated sheaf functor theorem in algebraic set theory ⋮ A proof of the associated sheaf theorem by means of categorical logic ⋮ Ultrafilters, ultrapowers and finiteness in a topos
Cites Work
This page was built for publication: The associated sheaf functor in an elementary topos