Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 19 related to Categories and Computer Science.   

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 the Working Mathematician

Saunders MacLane - Mathematics - 2013 - 262 pages
Category Theory has developed rapidly. This book aims to present those ideas and methods which can now be effectively used by Mathe maticians working in a variety of other ...
Limited preview - About this book

Mathematical Structures for Computer Science: A Modern Treatment of Discrete ...

Judith L. Gersting - Computers - 2003 - 729 pages
New edition of the classic discrete mathematics text for computer science majors.
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

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