Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 45 related to Sheaves in Geometry and Logic: A First Introduction to Topos Theory.    

Classifying spaces and classifying topoi, Issue 1616

Ieke Moerdijk - Classifying spaces - 1995 - 94 pages
This monograph presents a new, systematic treatment of the relation between classifying topoi and classifying spaces of topological categories. Using a new generalized ...
Snippet view - About this book

Models for smooth infinitesimal analysis

Ieke Moerdijk, Gonzalo E. Reyes - Mathematics - 1991 - 399 pages
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 ...
Snippet view - About this book

Algebraic Set Theory

Andri Joyal, Ieke Moerdijk - Mathematics - 1995 - 123 pages
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 ...
Limited preview - About this book

Proper Maps of Toposes, Issue 705

Ieke Moerdijk, Jacob Johan Caspar Vermeulen - Mathematics - 108 pages
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 ...
Limited preview - About this book


Saunders Mac Lane, Saunders MacLane - Mathematics - 1995 - 422 pages
In presenting this treatment of homological algebra, it is a pleasure to acknowledge the help and encouragement which I have had from all sides. Homological algebra arose from ...
Limited preview - About this book

Topos Theory

P.T. Johnstone - Mathematics - 2014 - 400 pages
Focusing on topos theory's integration of geometric and logical ideas into the foundations of mathematics and theoretical computer science, this volume explores internal ...
Limited preview - About this book

Category Theory

Steve Awodey - Mathematics - 2006 - 256 pages
This text and reference book on Category Theory, a branch of abstract algebra, is aimed not only at students of Mathematics, but also researchers and students of Computer ...
Limited preview - About this book

  1. My library
  2. Help
  3. Advanced Book Search