Author: Saunders Mac Lane
Publisher:
ISBN: 9783540977100
Category : Algebraische Geometrie - Garbentheorie
Languages : en
Pages : 627
Get Book Here
Book Description
An introduction to the theory of toposes which begins with illustrative examples and goes on to explain the underlying ideas of topology and sheaf theory as well as the general theory of elementary toposes and geometric morphisms and their relation to logic.
Author: Saunders MacLane
Publisher: Springer Science & Business Media
ISBN: 0387977104
Category : Mathematics
Languages : en
Pages : 650
Get Book Here
Book Description
Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds. Sheaves also appear in logic as carriers for models of set theory. This text presents topos theory as it has developed from the study of sheaves. Beginning with several examples, it explains the underlying ideas of topology and sheaf theory as well as the general theory of elementary toposes and geometric morphisms and their relation to logic.
Author: M. P. Fourman
Publisher: Springer
ISBN: 3540348492
Category : Mathematics
Languages : en
Pages : 798
Get Book Here
Book Description
Author: Saunders Mac Lane
Publisher: Springer Science & Business Media
ISBN: 1475747217
Category : Mathematics
Languages : en
Pages : 320
Get Book Here
Book Description
An array of general ideas useful in a wide variety of fields. Starting from the foundations, this book illuminates the concepts of category, functor, natural transformation, and duality. It then turns to adjoint functors, which provide a description of universal constructions, an analysis of the representations of functors by sets of morphisms, and a means of manipulating direct and inverse limits. These categorical concepts are extensively illustrated in the remaining chapters, which include many applications of the basic existence theorem for adjoint functors. The categories of algebraic systems are constructed from certain adjoint-like data and characterised by Beck's theorem. After considering a variety of applications, the book continues with the construction and exploitation of Kan extensions. This second edition includes a number of revisions and additions, including new chapters on topics of active interest: symmetric monoidal categories and braided monoidal categories, and the coherence theorems for them, as well as 2-categories and the higher dimensional categories which have recently come into prominence.
Author: P.T. Johnstone
Publisher: Courier Corporation
ISBN: 0486493369
Category : Mathematics
Languages : en
Pages : 401
Get Book Here
Book Description
Focusing on topos theory's integration of geometric and logical ideas into the foundations of mathematics and theoretical computer science, this volume explores internal category theory, topologies and sheaves, geometric morphisms, and other subjects. 1977 edition.
Author: John L. Bell
Publisher: Courier Corporation
ISBN: 0486462862
Category : Mathematics
Languages : en
Pages : 290
Get Book Here
Book Description
This text introduces topos theory, a development in category theory that unites important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic. Topics include local set theories, fundamental properties of toposes, sheaves, local-valued sets, and natural and real numbers in local set theories. 1988 edition.
Author: Masaki Kashiwara
Publisher: Springer Science & Business Media
ISBN: 3540279504
Category : Mathematics
Languages : en
Pages : 496
Get Book Here
Book Description
Categories and sheaves appear almost frequently in contemporary advanced mathematics. This book covers categories, homological algebra and sheaves in a systematic manner starting from scratch and continuing with full proofs to the most recent results in the literature, and sometimes beyond. The authors present the general theory of categories and functors, emphasizing inductive and projective limits, tensor categories, representable functors, ind-objects and localization.
Author: Anastasios Mallios
Publisher: Springer Science & Business Media
ISBN: 9401150060
Category : Mathematics
Languages : en
Pages : 457
Get Book Here
Book Description
This two-volume monograph obtains fundamental notions and results of the standard differential geometry of smooth (CINFINITY) manifolds, without using differential calculus. Here, the sheaf-theoretic character is emphasised. This has theoretical advantages such as greater perspective, clarity and unification, but also practical benefits ranging from elementary particle physics, via gauge theories and theoretical cosmology (`differential spaces'), to non-linear PDEs (generalised functions). Thus, more general applications, which are no longer `smooth' in the classical sense, can be coped with. The treatise might also be construed as a new systematic endeavour to confront the ever-increasing notion that the `world around us is far from being smooth enough'. Audience: This work is intended for postgraduate students and researchers whose work involves differential geometry, global analysis, analysis on manifolds, algebraic topology, sheaf theory, cohomology, functional analysis or abstract harmonic analysis.
Author: P. T. Johnstone
Publisher: Oxford University Press
ISBN: 9780198515982
Category : Computers
Languages : en
Pages : 836
Get Book Here
Book Description
Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and to thereby demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text.
Author: S. Ramanan
Publisher: American Mathematical Soc.
ISBN: 0821837028
Category : Mathematics
Languages : en
Pages : 330
Get Book Here
Book Description
The power that analysis, topology and algebra bring to geometry has revolutionised the way geometers and physicists look at conceptual problems. Some of the key ingredients in this interplay are sheaves, cohomology, Lie groups, connections and differential operators. In Global Calculus, the appropriate formalism for these topics is laid out with numerous examples and applications by one of the experts in differential and algebraic geometry. Ramanan has chosen an uncommon but natural path through the subject. In this almost completely self-contained account, these topics are developed from scratch. The basics of Fourier transforms, Sobolev theory and interior regularity are proved at the same time as symbol calculus, culminating in beautiful results in global analysis, real and complex. Many new perspectives on traditional and modern questions of differential analysis and geometry are the hallmarks of the book. The book is suitable for a first year graduate course on Global Analysis.
