| 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 ... | |
| 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 ... | |
| 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 ... | |
| 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 ... | |
| 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 ... | |
| 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 ... | |
| 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 ... | |
| |