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).
MSC:
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 |