Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis, Durham, July 9-21, 1977M. P. Fourman, C. J. Mulvey, D. S. Scott |
Contents
Fragments of the history of sheaf theory | 1 |
I | 80 |
Injective Banach sheaves | 101 |
Copyright | |
6 other sections not shown
Other editions - View all
Common terms and phrases
adjoint Amer analytiques axioms Banach spaces Boolean bundle C.R. Acad C*-algebras canonical category of sheaves Cauchy classical cohomology colimit commutative ring compact compact space complete condition construction continuous map convergence COROLLARY corresponding defined definition denote elements epimorphism equations equivalent étale example exists faisceaux finite formula Fourman functor geometric given global sections Grothendieck hence Heyting algebra homomorphism ideal space implies induced injective intuitionistic intuitionistic logic inverse isomorphism K-finite lattice LEMMA local rings locally logic Math Mathematics maximal ideal models modules morphism neighbourhood normed notion object open sets operations presheaf prime ideal Proof properties PROPOSITION prove pullback quotient real numbers relation representation ring of sections ringed space satisfies Sém sequence Sh(X sheaf theory simplicial Spec Springer-Verlag structure subobject subspace theorem topoi topological space topology topos torsor unique variables χεχ