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.   

Proper Maps of Toposes, Issue 705

Ieke Moerdijk, Jacob Johan Caspar Vermeulen - Mathematics - 2000 - 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

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

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

Categories for the Working Mathematician

Saunders MacLane - Mathematics - 2013 - 262 pages
Category Theory has developed rapidly. This book aims to present those ideas and methods which can now be effectively used by Mathe maticians working in a variety of other ...
Limited preview - About this book

Models for Smooth Infinitesimal Analysis

Ieke Moerdijk, Gonzalo E. Reyes - Mathematics - 2013 - 400 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 ...
Limited preview - About this book


Saunders MacLane - Mathematics - 2012 - 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

Sketches of an Elephant: A Topos Theory Compendium, Volume 2

P. T. Johnstone - Mathematics - 2002 - 716 pages
Topos Theory is an important branch of mathematical logic of interest to theoretical computer scientists, logicians and philosophers who study the foundations of mathematics ...
Limited preview - About this book

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