According to Grothendieck, the notion of topos is "the bed or deep river where come to be married geometry and algebra, topology and arithmetic, mathematical logic and category theory, the world of the continuous and that of discontinuous or discrete structures". It is what he had "conceived of most broad to perceive with finesse, by the same language rich of geometric resonances, an "essence" which is common to situations most distant from each other, coming from one region or another of the vast universe of mathematical things". The aim of this book is to present a theory and a number of techniques which allow to give substance to Grothendieck's vision by building on the notion of classifying topos educed by categorical logicians. Mathematical theories (formalized within first-order logic) give rise to geometric objects called sites; the passage from sites to their associated toposes embodies the passage from the logical presentation of theories to their mathematical content, i.e. from syntax to semantics. The essential ambiguity given by the fact that any topos is associated in general with an infinite number of theories or different sites allows to study the relations between different theories, and hence the theories themselves, by using toposes as 'bridges' between these different presentations. The expression or calculation of invariants of toposes in terms of the theories associated with them or their sites of definition generates a great number of results and notions varying according to the different types of presentation, giving rise to a veritable mathematical morphogenesis.

This updated and revised edition of a widely acclaimed and successful text for undergraduates examines topology of recent compact surfaces through the development of simple ideas in plane geometry. Containing over 171 diagrams, the approach allows for a straightforward treatment of its subject area. It is particularly attractive for its wealth of applications and variety of interactions with branches of mathematics, linked with surface topology, graph theory, group theory, vector field theory, and plane Euclidean and non-Euclidean geometry.
Examines topology of recent compact surfaces through the development of simple ideas in plane geometryContains a wealth of applications and a variety of interactions with branches of mathematics, linked with surface topology, graph theory, group theory, vector field theory, and plane Euclidean and non-Euclidean geometry

The central theme of this book is the study of self-dual connections on four-manifolds. The author's aim is to present a lucid introduction to moduli space techniques (for vector bundles with SO (3) as structure group) and to apply them to four-manifolds. The authors have adopted a topologists' perspective. For example, they have included some explicit calculations using the Atiyah-Singer index theorem as well as methods from equivariant topology in the study of the topology of the moduli space. Results covered include Donaldson's Theorem that the only positive definite form which occurs as an intersection form of a smooth four-manifold is the standard positive definite form, as well as those of Fintushel and Stern which show that the integral homology cobordism group of integral homology three-spheres has elements of infinite order. Little previous knowledge of differential geometry is assumed and so postgraduate students and research workers will find this both an accessible and complete introduction to currently one of the most active areas of mathematical research.

This textbook offers an accessible, modern introduction at undergraduate level to an area known variously as general topology, point-set topology or analytic topology with a particular focus on helping students to build theory for themselves. It is the result of several years of the authors' combined university teaching experience stimulated by sustained interest in advanced mathematical thinking and learning, alongside established research careers in analytic topology. Point-set topology is a discipline that needs relatively little background knowledge, but sufficient determination to grasp ideas precisely and to argue with straight and careful logic. Research and long experience in undergraduate mathematics education suggests that an optimal way to learn such a subject is to teach it to yourself, pro-actively, by guided reading of brief skeleton notes and by doing your own spadework to fill in the details and to flesh out the examples. This text will facilitate such an approach for those learners who opt to do it this way and for those instructors who would like to encourage this so-called 'Moore approach', even for a modest segment of the teaching term or for part of the class. In reality, most students simply do not have the combination of time, background and motivation needed to implement such a plan fully. The accessibility, flexibility and completeness of this text enable it to be used equally effectively for more conventional instructor-led courses. Critically, it furnishes a rich variety of exercises and examples, many of which have specimen solutions, through which to gain in confidence and competence.

The theory of Riemann surfaces occupies a very special place in mathematics. It is a culmination of much of traditional calculus, making surprising connections with geometry and arithmetic. It is an extremely useful part of mathematics, knowledge of which is needed by specialists in many other fields. It provides a model for a large number of more recent developments in areas including manifold topology, global analysis, algebraic geometry, Riemannian geometry, and diverse topics in mathematical physics.
This graduate text on Riemann surface theory proves the fundamental analytical results on the existence of meromorphic functions and the Uniformisation Theorem. The approach taken emphasises PDE methods, applicable more generally in global analysis. The connection with geometric topology, and in particular the role of the mapping class group, is also explained. To this end, some more sophisticated topics have been included, compared with traditional texts at this level. While the treatment is novel, the roots of the subject in traditional calculus and complex analysis are kept well in mind.
Part I sets up the interplay between complex analysis and topology, with the latter treated informally. Part II works as a rapid first course in Riemann surface theory, including elliptic curves. The core of the book is contained in Part III, where the fundamental analytical results are proved. Following this section, the remainder of the text illustrates various facets of the more advanced theory.

Topology is the mathematical study of the most basic geometrical structure of a space. Mathematical physics uses topological spaces as the formal means for describing physical space and time. This book proposes a completely new mathematical structure for describing geometrical notions such as continuity, connectedness, boundaries of sets, and so on, in order to provide a better mathematical tool for understanding space-time. This is the initial volume in a two-volume set, the first of which develops the mathematical structure and the second of which applies it to classical and Relativistic physics. The book begins with a brief historical review of the development of mathematics as it relates to geometry, and an overview of standard topology. The new theory, the Theory of Linear Structures, is presented and compared to standard topology. The Theory of Linear Structures replaces the foundational notion of standard topology, the open set, with the notion of a continuous line. Axioms for the Theory of Linear Structures are laid down, and definitions of other geometrical notions developed in those terms. Various novel geometrical properties, such as a space being intrinsically directed, are defined using these resources. Applications of the theory to discrete spaces (where the standard theory of open sets gets little purchase) are particularly noted. The mathematics is developed up through homotopy theory and compactness, along with ways to represent both affine (straight line) and metrical structure.

The theory of buildings was introduced by J Tits in order to focus on geometric and combinatorial aspects of simple groups of Lie type. Since then the theory has blossomed into an extremely active field of mathematical research having deep connections with topics as diverse as algebraic groups, arithmetic groups, finite simple groups, and finite geometries, as well as with graph theory and other aspects of combinatorics. This volume is an up-to-date survey of the theory of buildings with special emphasis on its interaction with related geometries. As such it will be an invaluable guide to all those whose research touches on these themes. The articles presented here are by experts in their respective fields and are based on talks given at the 1988 Buildings and Related Geometries conference at Pingree Park, Colorado. Topics covered include the classification and construction of buildings, finite groups associated with building-like geometries, graphs and association schemes.

This book contains selected chapters on recent research in topology. It bridges the gap between recent trends of topological theories and their applications in areas like social sciences, natural sciences, soft computing, economics, theoretical chemistry, cryptography, pattern recognitions and granular computing. There are 14 chapters, including two chapters on mathematical economics from the perspective of topology. The book discusses topics on function spaces, relator space, preorder, quasi-uniformities, bitopological dynamical systems, b-metric spaces and related fixed point theory. This book is useful to researchers, experts and scientists in studying the cutting-edge research in topology and related areas and helps them applying topology in solving real-life problems the society and science are facing these days.. 

This book presents material in two parts. Part one provides an introduction to crossed modules of groups, Lie algebras and associative algebras with fully written out proofs and is suitable for graduate students interested in homological algebra. In part two, more advanced and less standard topics such as crossed modules of Hopf algebra, Lie groups, and racks are discussed as well as recent developments and research on crossed modules.

This monograph is the first and an initial introduction to the theory of bitopological spaces and its applications. In particular, different families of subsets of bitopological spaces are introduced and various relations between two topologies are analyzed on one and the same set; the theory of dimension of bitopological spaces and the theory of Baire bitopological spaces are constructed, and various classes of mappings of bitopological spaces are studied. The previously known results as well the results obtained in this monograph are applied in analysis, potential theory, general topology, and theory of ordered topological spaces. Moreover, a high level of modern knowledge of bitopological spaces theory has made it possible to introduce and study algebra of new type, the corresponding representation of which brings one to the special class of bitopological spaces.
It is beyond any doubt that in the nearest future the areas of essential applications will be the theories of linear topological spaces and topological groups, algebraic and differential topologies, the homotopy theory, not to mention other fundamental areas of modern mathematics such as geometry, mathematical logic, the probability theory and many other areas, including those of applied nature.
Key Features:
- First monograph is "Generalized Lattices"
* The first introduction to the theory of bitopological spaces and its applications.

The book is devoted to universality problems.
A new approach to these problems is given using some specific spaces. Since the construction of these specific spaces is set-theoretical, the given theory can be applied to different topics of Topology such as:
universal mappings, dimension theory, action of groups, inverse spectra, isometrical embeddings, and so on.
.Universal spaces
.Universal mappings
.Dimension theory
.Actions of groups
.Isometric Universal Spaces

The self-avoiding walk is a classical model in statistical mechanics, probability theory and mathematical physics. It is also a simple model of polymer entropy which is useful in modelling phase behaviour in polymers. This monograph provides an authoritative examination of interacting self-avoiding walks, presenting aspects of the thermodynamic limit, phase behaviour, scaling and critical exponents for lattice polygons, lattice animals and surfaces. It also includes a comprehensive account of constructive methods in models of adsorbing, collapsing, and pulled walks, animals and networks, and for models of walks in confined geometries. Additional topics include scaling, knotting in lattice polygons, generating function methods for directed models of walks and polygons, and an introduction to the Edwards model. This essential second edition includes recent breakthroughs in the field, as well as maintaining the older but still relevant topics. New chapters include an expanded presentation of directed models, an exploration of methods and results for the hexagonal lattice, and a chapter devoted to the Monte Carlo methods.

I The fixed point theorems of Brouwer and Schauder.- 1 The fixed point theorem of Brouwer and applications.- 2 The fixed point theorem of Schauder and applications.- II Measures of noncompactness.- 1 The general notion of a measure of noncompactness.- 2 The Kuratowski and Hausdorff measures of noncompactness.- 3 The separation measure of noncompactness.- 4 Measures of noncompactness in Banach sequences spaces.- 5 Theorem of Darbo and Sadovskii and applications.- III Minimal sets for a measure of noncompactness.- 1 o-minimal sets.- 2 Minimalizable measures of noncompactness.- IV Convexity and smoothness.- 1 Strict convexity and smoothness.- 2 k-uniform convexity.- 3 k-uniform smoothness.- V Nearly uniform convexity and nearly uniform smoothness.- 1 Nearly uniformly convex Banach spaces.- 2 Nearly uniformly smooth Banach spaces.- 3 Uniform Opial condition.- VI Fixed points for nonexpansive mappings and normal structure.- 1 Existence of fixed points for nonexpansive mappings: Kirk's theorem.- 2 The coefficient N(X) and its connection with uniform convexity.- 3 The weakly convergent sequence coefficient.- 4 Uniform smoothness, near uniform convexity and normal structure.- 5 Normal structure in direct sum spaces.- 6 Computation of the normal structure coefficients in Lp-spaces.- VII Fixed point theorems in the absence of normal structure.- 1 Goebel-Karlovitz's lemma and Lin's lemma.- 2 The coefficient M(X) and the fixed point property.- VIII Uniformly Lipschitzian mappings.- 1 Lifshitz characteristic and fixed points.- 2 Connections between the Lifshitz characteristic and certain geometric coefficients.- 3 The normal structure coefficient and fixed points.- IX Asymptotically regular mappings.- 1 A fixed point theorem for asymptotically regular mappings.- 2 Connections between the ?-characteristic and some other geometric coefficients.- 3 The weakly convergent sequence coefficient and fixed points.- X Packing rates and o-contractiveness constants.- 1 Comparable measures of noncompactness.- 2 Packing rates of a metric space.- 3 Connections between the packing rates and the normal structure coefficients.- 4 Packing rates in lp-spaces.- 5 Packing rates in Lpspaces.- 6 Packing rates in direct sum spaces.- References.- List of Symbols and Notations.

The subject of nonlinear partial differential equations is experiencing a period of intense activity in the study of systems underlying basic theories in geometry, topology and physics. These mathematical models share the property of being derived from variational principles. Understanding the structure of critical configurations and the dynamics of the corresponding evolution problems is of fundamental importance for the development of the physical theories and their applications. This volume contains survey lectures in four different areas, delivered by leading resarchers at the 1995 Barrett Lectures held at The University of Tennessee: nonlinear hyperbolic systems arising in field theory and relativity (S. Klainerman); harmonic maps from Minkowski spacetime (M. Struwe); dynamics of vortices in the Ginzburg-Landau model of superconductivity (F.-H. Lin); the Seiberg-Witten equations and their application to problems in four-dimensional topology (R. Fintushel). Most of this material has not previously been available in survey form. These lectures provide an up-to-date overview and an introduction to the research literature in each of these areas, which should prove useful to researchers and graduate students in mathematical physics, partial differential equations, differential geometry and topology.

Handbook of Convex Geometry, Volume B offers a survey of convex geometry and its many ramifications and connections with other fields of mathematics, including convexity, lattices, crystallography, and convex functions. The selection first offers information on the geometry of numbers, lattice points, and packing and covering with convex sets. Discussions focus on packing in non-Euclidean spaces, problems in the Euclidean plane, general convex bodies, computational complexity of lattice point problem, centrally symmetric convex bodies, reduction theory, and lattices and the space of lattices. The text then examines finite packing and covering and tilings, including plane tilings, monohedral tilings, bin packing, and sausage problems. The manuscript takes a look at valuations and dissections, geometric crystallography, convexity and differential geometry, and convex functions. Topics include differentiability, inequalities, uniqueness theorems for convex hypersurfaces, mixed discriminants and mixed volumes, differential geometric characterization of convexity, reduction of quadratic forms, and finite groups of symmetry operations. The selection is a dependable source of data for mathematicians and researchers interested in convex geometry.

Handbook of Convex Geometry, Volume A offers a survey of convex geometry and its many ramifications and relations with other areas of mathematics, including convexity, geometric inequalities, and convex sets. The selection first offers information on the history of convexity, characterizations of convex sets, and mixed volumes. Topics include elementary convexity, equality in the Aleksandrov-Fenchel inequality, mixed surface area measures, characteristic properties of convex sets in analysis and differential geometry, and extensions of the notion of a convex set. The text then reviews the standard isoperimetric theorem and stability of geometric inequalities. The manuscript takes a look at selected affine isoperimetric inequalities, extremum problems for convex discs and polyhedra, and rigidity. Discussions focus on include infinitesimal and static rigidity related to surfaces, isoperimetric problem for convex polyhedral, bounds for the volume of a convex polyhedron, curvature image inequality, Busemann intersection inequality and its relatives, and Petty projection inequality. The book then tackles geometric algorithms, convexity and discrete optimization, mathematical programming and convex geometry, and the combinatorial aspects of convex polytopes. The selection is a valuable source of data for mathematicians and researchers interested in convex geometry.

The book presents surveys describing recent developments in most of the primary subfields of
General Topology and its applications to Algebra and Analysis during the last decade. It follows freely
the previous edition (North Holland, 1992), Open Problems in Topology (North Holland, 1990) and
Handbook of Set-Theoretic Topology (North Holland, 1984). The book was prepared in
connection with the Prague Topological Symposium, held in 2001. During the last 10 years the focus
in General Topology changed and therefore the selection of topics differs slightly from those
chosen in 1992. The following areas experienced significant developments: Topological Groups, Function Spaces, Dimension Theory, Hyperspaces, Selections, Geometric Topology (including
Infinite-Dimensional Topology and the Geometry of Banach Spaces). Of course, not every important topic
could be included in this book.

Except surveys, the book contains several historical essays written by such eminent topologists as:
R.D. Anderson, W.W. Comfort, M. Henriksen, S. Mardeŝić, J. Nagata, M.E. Rudin, J.M. Smirnov (several reminiscences of L. Vietoris are added). In addition to extensive author and subject indexes, a list of all problems and questions posed in this book are added.

List of all authors of surveys:
A. Arhangel'skii, J. Baker and K. Kunen, H. Bennett and D. Lutzer, J. Dijkstra and J. van Mill, A. Dow, E. Glasner, G. Godefroy, G. Gruenhage, N. Hindman and D. Strauss, L. Hola and J. Pelant, K. Kawamura, H.-P. Kuenzi, W. Marciszewski, K. Martin and M. Mislove and M. Reed, R. Pol and H. Torunczyk, D. Repovs and P. Semenov, D. Shakhmatov, S. Solecki, M. Tkachenko.

This book provides an introduction to topological groups and the structure theory of locally compact abelian groups, with a special emphasis on Pontryagin-van Kampen duality, including a completely self-contained elementary proof of the duality theorem. Further related topics and applications are treated in separate chapters and in the appendix.

Topological surgery is a mathematical technique used for creating new manifolds out of known ones. In this book the authors observe that it also occurs in natural phenomena of all scales: 1-dimensional surgery happens during DNA recombination and when cosmic magnetic lines reconnect; 2-dimensional surgery happens during tornado formation and cell mitosis; and they conjecture that 3-dimensional surgery happens during the formation of black holes from cosmic strings, offering an explanation for the existence of a black hole's singularity. Inspired by such phenomena, the authors present a new topological model that extends the formal definition to a continuous process caused by local forces. Lastly, they describe an intrinsic connection between topological surgery and a chaotic dynamical system exhibiting a "hole drilling" behavior. The authors' model indicates where to look for the forces causing surgery and what deformations should be observed in the local submanifolds involved. These predictions are significant for the study of phenomena exhibiting surgery and they also open new research directions. This novel study enables readers to gain a better understanding of the topology and dynamics of various natural phenomena, as well as topological surgery itself and serves as a basis for many more insightful observations and new physical implications.

This book evaluates and suggests potentially critical improvements to causal set theory, one of the best-motivated approaches to the outstanding problems of fundamental physics. Spacetime structure is of central importance to physics beyond general relativity and the standard model. The causal metric hypothesis treats causal relations as the basis of this structure. The book develops the consequences of this hypothesis under the assumption of a fundamental scale, with smooth spacetime geometry viewed as emergent. This approach resembles causal set theory, but differs in important ways; for example, the relative viewpoint, emphasizing relations between pairs of events, and relationships between pairs of histories, is central. The book culminates in a dynamical law for quantum spacetime, derived via generalized path summation.

This collection of peer-reviewed conference papers provides comprehensive coverage of cutting-edge research in topological approaches to data analysis and visualization. It encompasses the full range of new algorithms and insights, including fast homology computation, comparative analysis of simplification techniques, and key applications in materials and medical science. The volume also features material on core research challenges such as the representation of large and complex datasets and integrating numerical methods with robust combinatorial algorithms.

Reflecting the focus of the TopoInVis 2013 conference, the contributions evince the progress currently being made on finding experimental solutions to open problems in the sector. They provide an inclusive snapshot of state-of-the-art research that enables researchers to keep abreast of the latest developments and provides a foundation for future progress. With papers by some of the world s leading experts in topological techniques, this volume is a major contribution to the literature in a field of growing importance with applications in disciplines that range from engineering to medicine."