Ieke Moerdijk - Böcker

This open access book offers a self-contained introduction to the homotopy theory of simplicial and dendroidal sets and spaces.

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.

Our views of topos theory, as presented here, have been shaped by continued study, by conferences, and by many personal contacts with friends and colleagues-including especially O. Our presentation combines ideas and results from these people and from many others, but we have not endeavored to specify the various original sources.

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 such 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 realisability 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 some background in categorical logic.

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 book is an introduction to two higher-categorical topics in algebraic topology and algebraic geometry relying on simplicial methods. It is based on lectures - livered at the Centre de Recerca Matem ati ca in February 2008, as part of a special year on Homotopy Theory and Higher Categories. Ieke Moerdijk's lectures constitute an introduction to the theory ofdendroidal sets, an extension of the theory of simplicial sets designed as a foundation for the homotopy theory of operads. The theory has many features analogous to the theory of simplicial sets, but it also reveals many new phenomena, thanks to the presence of automorphisms of trees. Dendroidal sets admit a closed symmetric monoidal structure related to the Boardman{Vogt tensor product. The lecture notes develop the theory very carefully, starting from scratch with the combinatorics of trees, and culminating with a model structure on the category of dendroidal sets for which the brant objects are the inner Kan dendroidal sets. The important concepts are illustrated with detailed examples.