This book is an introduction to two higher-categorical topics in algebraic topology and algebraic geometry relying on simplicial methods. It is based on lectures delivered at the Centre de Recerca Matemàtica in February 2008, as part of a special year on Homotopy Theory and Higher Categories"--Foreword
The aim of this book is to construct categories of spaces which contain all the C?-manifolds, but in addition infinitesimal spaces and arbitrary function spaces. To this end, the techniques of Grothendieck toposes (and the logic inherent to them) are explained at a leisurely pace and applied. By discussing topics such as integration, cohomology and vector bundles in the new context, the adequacy of these new spaces for analysis and geometry will be illustrated and the connection to the classical approach to C?-manifolds will be explained.
This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates the relevance and usefulness of logic in the study of these subject areas. The authors start with an exposition of set theory and the axiom of choice as used in everyday mathematics. Proceeding at a gentle pace, they go on to present some of the first important results in model theory, followed by a careful exposition of Gentzen-style natural deduction and a detailed proof of Gödel’s completeness theorem for first-order logic. The book then explores the formal axiom system of Zermelo and Fraenkel before concluding with an extensive list of suggestions for further study. The present volume is primarily aimed at mathematics students who are already familiar with basic analysis, algebra and linear algebra. It contains numerous exercises of varying difficulty and can be used for self-study, though it is ideally suited as a text for a one-semester university course in the second or third year.
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.
This monograph presents a new, systematic treatment of the relation between classifying topoi and classifying spaces of topological categories. Using a new generalized geometric realization which applies to topoi, a weak homotopy equival- ence is constructed between the classifying space and the classifying topos of any small (topological) category. Topos theory is then applied to give an answer to the question of what structures are classified by "classifying" spaces. The monograph should be accessible to anyone with basic knowledge of algebraic topology, sheaf theory, and a little topos theory.
This book offers a new algebraic approach to set theory. The authors introduce a particular kind of algebra, the Zermelo-Fraenkel algebras, which arise from the familiar axioms of Zermelo-Fraenkel set theory. Furthermore, the authors explicitly construct these algebras using the theory of bisimulations. Their approach is completely constructive, and contains both intuitionistic set theory and topos theory. In particular it provides a uniform description of various constructions of the cumulative hierarchy of sets in forcing models, sheaf models and realizability models. Graduate students and researchers in mathematical logic, category theory and computer science should find this book of great interest, and it should be accessible to anyone with a background in categorical logic.
This open access book offers a self-contained introduction to the homotopy theory of simplicial and dendroidal sets and spaces. These are essential for the study of categories, operads, and algebraic structure up to coherent homotopy. The dendroidal theory combines the combinatorics of trees with the theory of Quillen model categories. Dendroidal sets are a natural generalization of simplicial sets from the point of view of operads. In this book, the simplicial approach to higher category theory is generalized to a dendroidal approach to higher operad theory. This dendroidal theory of higher operads is carefully developed in this book. The book also provides an original account of the more established simplicial approach to infinity-categories, which is developed in parallel to the dendroidal theory to emphasize the similarities and differences. Simplicial and Dendroidal Homotopy Theory is a complete introduction, carefully written with the beginning researcher in mind and ideally suited for seminars and courses. It can also be used as a standalone introduction to simplicial homotopy theory and to the theory of infinity-categories, or a standalone introduction to the theory of Quillen model categories and Bousfield localization.
We develop the theory of compactness of maps between toposes, together with associated notions of separatedness. This theory is built around two versions of "propriety" for topos maps, introduced here in a parallel fashion. The first, giving what we simply call "proper" maps, is a relatively weak condition due to Johnstone. The second kind of proper maps, here called "tidy", satisfy a stronger condition due to Tierney and Lindgren. Various forms of the Beck-Chevalley condition for (lax) fibered product squares of toposes play a central role in the development of the theory. Applications include a version of the Reeb stability theorem for toposes, a characterization of hyperconnected Hausdorff toposes as classifying toposes of compact groups, and of strongly Hausdorff coherent toposes as classifiying toposes of profinite groupoids. Our results also enable us to develop further particular aspects of the factorization theory of geometric morphisms studied by Johnstone. Our final application is a (so-called lax) descent theorem for tidy maps between toposes. This theorem implies the lax descent theorem for coherent toposes, conjectured by Makkai and proved earlier by Zawadowski.
This book offers a new algebraic approach to set theory. The authors introduce a particular kind of algebra, the Zermelo-Fraenkel algebras, which arise from the familiar axioms of Zermelo-Fraenkel set theory. Furthermore, the authors explicitly construct these algebras using the theory of bisimulations. Their approach is completely constructive, and contains both intuitionistic set theory and topos theory. In particular it provides a uniform description of various constructions of the cumulative hierarchy of sets in forcing models, sheaf models and realizability models. Graduate students and researchers in mathematical logic, category theory and computer science should find this book of great interest, and it should be accessible to anyone with a background in categorical logic.
This volume contains the proceedings of the Second Mid-Atlantic Topology Conference, held from March 12–13, 2016, at Johns Hopkins University in Baltimore, Maryland. The focus of the conference, and subsequent papers, was on applications of innovative methods from homotopy theory in category theory, algebraic geometry, and related areas, emphasizing the work of younger researchers in these fields.
This book gives a quick introduction to the theory of foliations and Lie groupoids. It is based on the authors' extensive teaching experience and contains numerous examples and exercises making it ideal either for independent study or as the basis of a graduate course.
This open access book offers a self-contained introduction to the homotopy theory of simplicial and dendroidal sets and spaces. These are essential for the study of categories, operads, and algebraic structure up to coherent homotopy. The dendroidal theory combines the combinatorics of trees with the theory of Quillen model categories. Dendroidal sets are a natural generalization of simplicial sets from the point of view of operads. In this book, the simplicial approach to higher category theory is generalized to a dendroidal approach to higher operad theory. This dendroidal theory of higher operads is carefully developed in this book. The book also provides an original account of the more established simplicial approach to infinity-categories, which is developed in parallel to the dendroidal theory to emphasize the similarities and differences. Simplicial and Dendroidal Homotopy Theory is a complete introduction, carefully written with the beginning researcher in mind and ideally suited for seminars and courses. It can also be used as a standalone introduction to simplicial homotopy theory and to the theory of infinity-categories, or a standalone introduction to the theory of Quillen model categories and Bousfield localization.
The aim of this book is to construct categories of spaces which contain all the C?-manifolds, but in addition infinitesimal spaces and arbitrary function spaces. To this end, the techniques of Grothendieck toposes (and the logic inherent to them) are explained at a leisurely pace and applied. By discussing topics such as integration, cohomology and vector bundles in the new context, the adequacy of these new spaces for analysis and geometry will be illustrated and the connection to the classical approach to C?-manifolds will be explained.
This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates the relevance and usefulness of logic in the study of these subject areas. The authors start with an exposition of set theory and the axiom of choice as used in everyday mathematics. Proceeding at a gentle pace, they go on to present some of the first important results in model theory, followed by a careful exposition of Gentzen-style natural deduction and a detailed proof of Gödel’s completeness theorem for first-order logic. The book then explores the formal axiom system of Zermelo and Fraenkel before concluding with an extensive list of suggestions for further study. The present volume is primarily aimed at mathematics students who are already familiar with basic analysis, algebra and linear algebra. It contains numerous exercises of varying difficulty and can be used for self-study, though it is ideally suited as a text for a one-semester university course in the second or third year.
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.
Develops the theory of compactness of maps between toposes, together with associated notions of separatedness; this theory is built around two versions of 'propriety' for topos maps, which is introduced in a parallel fashion.
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.