A proof of the associated sheaf theorem by means of categorical logic

DOI10.2307/2273255zbMath0539.03049OpenAlexW2152895620MaRDI QIDQ3325726

Barbara Veit

Publication date: 1981

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273255

zbMATH Keywords

elementary toposconstruction of the associated sheaf

Mathematics Subject Classification ID

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

Related Items (1)

Repleteness and the associated sheaf

Cites Work

• The associated sheaf functor in an elementary topos
• Aspects of topoi

This page was built for publication: A proof of the associated sheaf theorem by means of categorical logic