| Saunders MacLane, Ieke Moerdijk - Mathematics - 1992 - 627 pages
An introduction to the theory of toposes which begins with illustrative examples and goes on to explain the underlying ideas of topology and sheaf theory as well as the general ... | |
| 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 ... | |
| Peter T. Johnstone - Mathematics - 1986 - 370 pages
A unified treatment of the corpus of mathematics that has developed out of M. H. Stone's representation theorem for Boolean algebras (1936) which has applications in almost ... | |
| Jean-Pierre Marquis - Science - 2008 - 310 pages
From a Geometrical Point of View explores historical and philosophical aspects of category theory, trying therewith to expose its significance in the mathematical landscape ... | |
| Roy L. Crole - Computers - 1993 - 335 pages
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the ... | |
| Steve Awodey - Philosophy - 2010 - 328 pages
Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and ... | |
| |