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

Sheaves, Games, and Model Completions: A Categorical Approach to ...

Silvio Ghilardi, M. Zawadowski - Philosophy - 2013 - 245 pages
This book is an example of fruitful interaction between (non-classical) propo sitionallogics and (classical) model theory which was made possible due to categorical logic. Its ...
Limited preview - About this book

Toposes, Triples and Theories

M. Barr, C. Wells - Mathematics - 2013 - 347 pages
As its title suggests, this book is an introduction to three ideas and the connections between them. Before describing the content of the book in detail, we describe each ...
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

Synthetic Differential Geometry

Anders Kock - Mathematics - 2006 - 233 pages
Second edition of this book detailing how limit processes can be represented algebraically.
Limited preview - About this book

Categories in Computer Science and Logic: Proceedings of the AMS-IMS-SIAM ...

John Walker Gray, Andrej Ščedrov - Computers - 1989 - 382 pages
Category theory has had important uses in logic since the invention of topos theory in the early 1960s, and logic has always been an important component of theoretical computer ...
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




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