Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 21 - 30 of about 48 related to Elementary Categories, Elementary Toposes.   

Introduction to Higher-Order Categorical Logic

J. Lambek, P. J. Scott - Mathematics - 1988 - 304 pages
Part I indicates that typed-calculi are a formulation of higher-order logic, and cartesian closed categories are essentially the same. Part II demonstrates that another ...
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

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

Categorical Logic and Type Theory

Bart Jacobs - Mathematics - 2001 - 760 pages
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its ...
Limited preview - About this book

Lecture Notes on Topoi and Quasitopoi

Oswald Wyler - Mathematics - 1991 - 290 pages
Quasitopoi generalize topoi, a concept of major importance in the theory of Categoreis, and its applications to Logic and Computer Science. In recent years, quasitopoi have ...
Limited preview - About this book

Realizability: An Introduction to its Categorical Side

Jaap van Oosten - Mathematics - 2008 - 328 pages
Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive ...
Limited preview - About this book

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