FreeComputerBooks.com
Links to Free Computer, Mathematics, Technical Books all over the World


 Title: Category Theory for Computing Science
 Author(s) Michael Barr, Charles Wells
 Publisher: Prentice Hall; 1st edition (July 6, 1990); eBook (1998 Edition)
 Hardcover/Paperback: 350 pages
 eBook: PDF (556 pages)
 Language: English
 ISBN10/ASIN: 0131204866
 ISBN13: 9780131204867
 Share This:
Book Description
This book is a textbook in basic category theory, written specifically to be read by researchers and students in computing science. We expound the constructions we feel are basic to category theory in the context of examples and applications to computing science.
Some categorical ideas and constructions are already used heavily in computing science and we describe many of these uses. Other ideas, in particular the concept of adjoint, have not appeared as widely in the computing science literature.
We give here an elementary exposition of those ideas we believe to be basic categorical tools, with pointers to possible applications when we are aware of them.
In addition, this text advocates a specific idea: the use of sketches as a systematic way to turn finite descriptions into mathematical objects. This aspect of the book gives it a particular point of view.
About the Authors N/A
 Category Theory
 Applied Mathematics
 Graph Theory
 Algebra, Abstract Algebra, and Linear Algebra, etc.
 Functional Programming and Lambda
 Database Theory and Systems
:






















