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

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

Conceptual Mathematics: A First Introduction to Categories

F. William Lawvere, Stephen H. Schanuel - Mathematics - 2009
In the last 60 years, the use of the notion of category has led to a remarkable unification and simplification of mathematics. Conceptual Mathematics introduces this tool for ...
Limited preview - About this book

Abstract Homotopy and Simple Homotopy Theory

Klaus Heiner Kamps, Timothy Porter - Mathematics - 1997 - 462 pages
"This book provides a thorough and well-written guide to abstract homotopy theory. It could well serve as a graduate text in this topic, or could be studied independently by ...
Limited preview - About this book

Elementary Categories, Elementary Toposes

Colin McLarty - 1992 - 278 pages
The book covers elementary aspects of category theory and topos theory. It has few mathematical prerequisites, and uses categorical methods throughout rather than beginning ...
Limited preview - About this book

Mal'cev, Protomodular, Homological and Semi-Abelian Categories

Francis Borceux, Dominique Bourn - Mathematics - 2004 - 479 pages
The purpose of the book is to take stock of the situation concerning Algebra via Category Theory in the last fifteen years, where the new and synthetic notions of Mal'cev ...
Limited preview - About this book

An Introduction to Category Theory

Harold Simmons - Mathematics - 2011
Category theory provides a general conceptual framework that has proved fruitful in subjects as diverse as geometry, topology, theoretical computer science and foundational ...
Limited preview - About this book

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