Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9–21, 1977. (English) Zbl 0407.00001

Lecture Notes in Mathematics. 753. Berlin-Heidelberg-New York: Springer-Verlag. XIV, 779 p. DM 67.00; $ 36.90 (1979).


00Bxx Conference proceedings and collections of articles
03C90 Nonclassical models (Boolean-valued, sheaf, etc.)
18B25 Topoi
03G30 Categorical logic, topoi
18F20 Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
14Fxx (Co)homology theory in algebraic geometry
55N30 Sheaf cohomology in algebraic topology