Logo

Category Theory for Computing Science

Large book cover: Category Theory for Computing Science

Category Theory for Computing Science
by

Publisher: Prentice Hall
ISBN/ASIN: 0131204866
ISBN-13: 9780131204867
Number of pages: 544

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.

Download or read it online for free here:
Download link
(2.1MB, PDF)

Similar books

Book cover: Category Theory for ProgrammersCategory Theory for Programmers
by - unglue.it
Category theory is the kind of math that is particularly well suited for the minds of programmers. It deals with the kind of structure that makes programs composable. And I will argue strongly that composition is the essence of programming.
(3632 views)
Book cover: Seminar on Triples and Categorical Homology TheorySeminar on Triples and Categorical Homology Theory
by - Springer
This volume concentrates a) on the concept of 'triple' or standard construction with special reference to the associated 'algebras', and b) on homology theories in general categories, based upon triples and simplicial methods.
(8926 views)
Book cover: Abstract and Concrete Categories: The Joy of CatsAbstract and Concrete Categories: The Joy of Cats
by - John Wiley & Sons
A modern introduction to the theory of structures via the language of category theory, the emphasis is on concrete categories. The first five chapters present the basic theory, while the last two contain more recent research results.
(15330 views)
Book cover: Categories, Types, and StructuresCategories, Types, and Structures
by - MIT Press
Here is an introduction to category theory for the working computer scientist. It is a self-contained introduction to general category theory and the mathematical structures that constitute the theoretical background.
(15361 views)