Author: Jorge Picado
Publisher: Springer Science & Business Media
ISBN: 3034801548
Category : Mathematics
Languages : en
Pages : 412
Get Book Here
Book Description
Until the mid-twentieth century, topological studies were focused on the theory of suitable structures on sets of points. The concept of open set exploited since the twenties offered an expression of the geometric intuition of a "realistic" place (spot, grain) of non-trivial extent. Imitating the behaviour of open sets and their relations led to a new approach to topology flourishing since the end of the fifties.It has proved to be beneficial in many respects. Neglecting points, only little information was lost, while deeper insights have been gained; moreover, many results previously dependent on choice principles became constructive. The result is often a smoother, rather than a more entangled, theory. No monograph of this nature has appeared since Johnstone's celebrated Stone Spaces in 1983. The present book is intended as a bridge from that time to the present. Most of the material appears here in book form for the first time or is presented from new points of view. Two appendices provide an introduction to some requisite concepts from order and category theories.
Author: Jorge Picado
Publisher: Birkhäuser
ISBN: 9783034801553
Category : Mathematics
Languages : en
Pages : 398
Get Book Here
Book Description
Until the mid-twentieth century, topological studies were focused on the theory of suitable structures on sets of points. The concept of open set exploited since the twenties offered an expression of the geometric intuition of a "realistic" place (spot, grain) of non-trivial extent. Imitating the behaviour of open sets and their relations led to a new approach to topology flourishing since the end of the fifties.It has proved to be beneficial in many respects. Neglecting points, only little information was lost, while deeper insights have been gained; moreover, many results previously dependent on choice principles became constructive. The result is often a smoother, rather than a more entangled, theory. No monograph of this nature has appeared since Johnstone's celebrated Stone Spaces in 1983. The present book is intended as a bridge from that time to the present. Most of the material appears here in book form for the first time or is presented from new points of view. Two appendices provide an introduction to some requisite concepts from order and category theories.
Author: Susan J. Andima
Publisher: CRC Press
ISBN: 1000147878
Category : Mathematics
Languages : en
Pages : 440
Get Book Here
Book Description
This book is based on the proceedings of the Fifth Northeast Conference on General Topology and Applications, held at The College of Staten Island – The City University of New York. It provides insight into the relationship between general topology and other areas of mathematics.
Author: Steven Vickers
Publisher: Cambridge University Press
ISBN: 9780521576512
Category : Computers
Languages : en
Pages : 224
Get Book Here
Book Description
Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists. Based on a course given by the author to postgraduate students of computer science at Imperial College, it has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite observations: this provides a more direct approach than the traditional one based on abstracting properties of open sets in the real line. Second, the methods of locale theory are freely exploited. Third, there is substantial discussion of some computer science applications. Although books on topology aimed at mathematics exist, no book has been written specifically for computer scientists. As computer scientists become more aware of the mathematical foundations of their discipline, it is appropriate that such topics are presented in a form of direct relevance and applicability. This book goes some way towards bridging the gap.
Author: Deguang Han
Publisher: American Mathematical Soc.
ISBN: 0821842129
Category : Mathematics
Languages : en
Pages : 314
Get Book Here
Book Description
"The early chapters contain the topics from linear algebra that students need to know in order to read the rest of the book. The later chapters are devoted to advanced topics, which allow students with more experience to study more intricate types of frames. Toward that end, a Student Presentation section gives detailed proofs of fairly technical results with the intention that a student could work out these proofs independently and prepare a presentation to a class or research group. The authors have also presented some stories in the Anecdotes section about how this material has motivated and influenced their students."--BOOK JACKET.
Author: Jorge Picado
Publisher: Springer Nature
ISBN: 3030534790
Category : Mathematics
Languages : en
Pages : 296
Get Book Here
Book Description
This book is the first systematic treatment of this area so far scattered in a vast number of articles. As in classical topology, concrete problems require restricting the (generalized point-free) spaces by various conditions playing the roles of classical separation axioms. These are typically formulated in the language of points; but in the point-free context one has either suitable translations, parallels, or satisfactory replacements. The interrelations of separation type conditions, their merits, advantages and disadvantages, and consequences are discussed. Highlights of the book include a treatment of the merits and consequences of subfitness, various approaches to the Hausdorff's axiom, and normality type axioms. Global treatment of the separation conditions put them in a new perspective, and, a.o., gave some of them unexpected importance. The text contains a lot of quite recent results; the reader will see the directions the area is taking, and may find inspiration for her/his further work. The book will be of use for researchers already active in the area, but also for those interested in this growing field (sometimes even penetrating into some parts of theoretical computer science), for graduate and PhD students, and others. For the reader's convenience, the text is supplemented with an Appendix containing necessary background on posets, frames and locales.
Author: Marco Grandis
Publisher: World Scientific
ISBN: 9811234019
Category : Mathematics
Languages : en
Pages : 374
Get Book Here
Book Description
Local structures, like differentiable manifolds, fibre bundles, vector bundles and foliations, can be obtained by gluing together a family of suitable 'elementary spaces', by means of partial homeomorphisms that fix the gluing conditions and form a sort of 'intrinsic atlas', instead of the more usual system of charts living in an external framework.An 'intrinsic manifold' is defined here as such an atlas, in a suitable category of elementary spaces: open euclidean spaces, or trivial bundles, or trivial vector bundles, and so on.This uniform approach allows us to move from one basis to another: for instance, the elementary tangent bundle of an open Euclidean space is automatically extended to the tangent bundle of any differentiable manifold. The same holds for tensor calculus.Technically, the goal of this book is to treat these structures as 'symmetric enriched categories' over a suitable basis, generally an ordered category of partial mappings.This approach to gluing structures is related to Ehresmann's one, based on inductive pseudogroups and inductive categories. A second source was the theory of enriched categories and Lawvere's unusual view of interesting mathematical structures as categories enriched over a suitable basis.
Author: Peter T. Johnstone
Publisher: Cambridge University Press
ISBN: 9780521337793
Category : Mathematics
Languages : en
Pages : 398
Get Book Here
Book Description
A unified treatment of the corpus of mathematics that has developed out of M. H. Stone's representation theorem for Boolean algebras (1936) which has applications in almost every area of modern mathematics.
Author: Saunders MacLane
Publisher: Springer Science & Business Media
ISBN: 1461209277
Category : Mathematics
Languages : en
Pages : 643
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: Rudolf E. Hoffmann
Publisher: CRC Press
ISBN: 1000111083
Category : Computers
Languages : en
Pages : 392
Get Book Here
Book Description
This book contains articles on the notion of a continuous lattice, which has its roots in Dana Scott's work on a mathematical theory of computation, presented at a conference on categorical and topological aspects of continuous lattices held in 1982.
