Applications of Sheaves

Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977

  • Editors
  • Michael Fourman
  • Christopher Mulvey
  • Dana Scott

Part of the Lecture Notes in Mathematics book series (LNM, volume 753)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. O. Acuña-Ortega, F. E. J. Linton
    Pages 80-100
  3. B. Banaschewski
    Pages 101-112
  4. Siegfried Brietsprecher
    Pages 125-156
  5. Siegfried Breitsprecher
    Pages 157-168
  6. C. W. Burden, C. J. Mulvey
    Pages 169-196
  7. P. M. Cohn
    Pages 197-211
  8. Eduardo J. Dubuc
    Pages 239-254
  9. M. P. Fourman, J. M. E. Hyland
    Pages 280-301
  10. M. P. Fourman, D. S. Scott
    Pages 302-401
  11. J. M. E. Hyland
    Pages 442-465
  12. P. T. Johnstone
    Pages 479-491
  13. Richard Jozsa
    Pages 492-499

About this book

Keywords

Algebra Applications Finite Garbe (Math.) Identity Manifold calculus geometry proof

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0061811
  • Copyright Information Springer-Verlag Berlin Heidelberg 1979
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-09564-4
  • Online ISBN 978-3-540-34849-8
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • Buy this book on publisher's site