| 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 ... | |
| 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 ... | |
| 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 ... | |
| Anders Kock - Mathematics - 2006 - 233 pages
Second edition of this book detailing how limit processes can be represented algebraically. | |
| 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 ... | |
| 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 ... | |
| |