Applications of Sheaves

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

Häftad, Engelska, 1979

Av M. P. Fourman, C. J. Mulvey, D. S. Scott

859 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1979-10-01
Mått155 x 235 x 43 mm
Vikt1 188 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Mathematics
Antal sidor779
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540095644

Tillhör följande kategorier

Fragments of the history of sheaf theory.- Finiteness and decidability:I.- Injective banach sheaves.- Simplicial sets and the foundations of analysis.- Localization with respect to a measure.- On the concept of a measurable space I.- Banach spaces in categories of sheaves.- The affine scheme of a general ring.- Localisation, spectra and sheaf representation.- Concrete quasitopoi.- Higher dimensional torsors and the cohomology of topoi : The abelian theory.- Sheaf models for analysis.- Sheaves and logic.- Heyting-valued models for intuitionistic set theory.- Sheaf theoretical concepts in analysis: Bundles and sheaves of Banach spaces, Banach C(X)-modules.- Continuity in spatial toposes.- A syntactic approach to Diers' localizable categories.- Conditions related to de Morgan's law.- Sheaves in physics — Twistor theory.- Sheaf representations and the dedekind reals.- Manifolds in formal differential geometry.- Note on non-abelian cohomology.- Representations of rings and modules.- Cramer's rule in the Zariski topos.- On the spectrum of a real representable ring.- On functorializing usual first-order model theory.- Topos theory and complex analysis.- Identity and existence in intuitionistic logic.- Weak adjointness in proof theory.- Rank one projective modules over certain fourier algebras.- Boolean valued analysis.- Sheaf-theoretical methods in the solution of Kaplansky's problem.- Generic Galois theory of local rings.- Sheaf theory and zero-dimensional mappings.

Du kanske också är intresserad av

Applications of Categories in Computer Science

Del 177

Applications of Categories in Computer Science

M. P. Fourman, P. T. Johnstone, A. M. Pitts, M. P. (University of Edinburgh) Fourman, P. T. (University of Cambridge) Johnstone, A. M. (University of Cambridge) Pitts

1 199 kr

Vackra pappersblommor : skapa eviga buketter med färdiga blomblad

Vackra pappersblommor : skapa eviga buketter med färdiga blomblad

Prudence Rogers

199 kr

Kafé Pumpkin Spice

Nyhet

Del 1

Kafé Pumpkin Spice

79 kr125 kr

Continuous Lattices and Domains

Del 93

Continuous Lattices and Domains

G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, D. S. Scott, Riverside) Gierz, G. (University of California, Germany) Hofmann, K. H. (Technische Universitat, Darmstadt, Germany) Keimel, K. (Technische Universitat, Darmstadt, J. D. (Louisiana State University) Lawson, Louisiana) Mislove, M. (Tulane University, Pennsylvania) Scott, D. S. (Carnegie Mellon University

3 669 kr

Compendium of Continuous Lattices

Compendium of Continuous Lattices

G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, D. S. Scott

1 209 kr

Hitster - Christmas

Hitster - Christmas

Jumbo

259 kr

Den yttersta hemligheten

Del 6

Den yttersta hemligheten

289 kr329 kr

Higher Set Theory

Higher Set Theory

G.H. Müller, D.S. Scott, G. H. Müller, D. S. Scott

709 kr

Vitön : den fristående fortsättningen på Expeditionen

Nyhet

Vitön : den fristående fortsättningen på Expeditionen

399 kr

Snön faller tät på Mistletoe Square

Nyhet

Snön faller tät på Mistletoe Square

79 kr125 kr