Sökt på: Böcker av Ieke Moerdijk
totalt 14 träffar
Sets, Models and Proofs
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 …
Algebraic Set 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 …
Sheaves in Geometry and Logic
This graduate-level text presents topos theory as it has developed from the study of sheaves and is unique in its scope, discussing such topics as the sheafification process and …
Simplicial Methods for Operads and Algebraic Geometry
Models for Smooth Infinitesimal Analysis
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 …
Models for Smooth Infinitesimal Analysis
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 …
Simplicial Methods for Operads and Algebraic Geometry
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 …
Sheaves in Geometry and Logic
We dedicate this book to the memory of J. Frank Adams. His clear insights have inspired many mathematicians, including both of us. In January 1989, when the first draft of our book …
Proper Maps of Toposes
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 …
Algebraic Set 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 …
Models for Smooth Infinitesimal Analysis
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 …
Simplicial and Dendroidal Homotopy Theory
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, …