Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 45 related to Introduction to Higher-Order Categorical Logic.   

Sheaves in Geometry and Logic: A First Introduction to Topos Theory

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

Stone Spaces

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 ...
Limited preview - About this book

From a Geometrical Point of View: A Study of the History and Philosophy of ...

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 ...
Limited preview - About this book

Sets for Mathematics

F. William Lawvere, Robert Rosebrugh - Mathematics - 2003 - 261 pages
In this book, first published in 2003, categorical algebra is used to build a foundation for the study of geometry, analysis, and algebra.
Limited preview - About this book

Categories for Types

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 ...
Limited preview - About this book

Applications of Categories in Computer Science: Proceedings of the London ...

M. P. Fourman, P. T. Johnstone, A. M. Pitts - Mathematics - 1992 - 339 pages
Category theory and related topics of mathematics have been increasingly applied to computer science in recent years. This book contains selected papers from the London ...
Limited preview - About this book

Categorical Foundations: Special Topics in Order, Topology, Algebra, and ...

Maria Cristina Pedicchio, Walter Tholen - Mathematics - 2004 - 417 pages
The book offers categorical introductions to order, topology, algebra and sheaf theory, suitable for graduate students, teachers and researchers of pure mathematics.
Limited preview - About this book

Category Theory

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 ...
Limited preview - About this book

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