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: Categories and Homological AlgebraCategories and Homological Algebra
by - UPMC
These notes introduce the language of categories and present the basic notions of homological algebra, first from an elementary point of view, next with a more sophisticated approach, with the introduction of triangulated and derived categories.
(4990 views)
Book cover: An Introduction to Category Theory in Four Easy MovementsAn Introduction to Category Theory in Four Easy Movements
by - Manchester University
Notes for a course offered as part of the MSc. in Mathematical Logic. From the table of contents: Development and exercises; Functors and natural transformations; Limits and colimits, a universal solution; Cartesian closed categories.
(6981 views)
Book cover: Category Theory for the SciencesCategory Theory for the Sciences
by - The MIT Press
This book shows that category theory can be useful outside of mathematics as a flexible modeling language throughout the sciences. Written in an engaging and straightforward style, the book is rigorous but accessible to non-mathematicians.
(1272 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.
(11892 views)