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: A Gentle IntroductionCategory Theory: A Gentle Introduction
by - Logic Matters
I hope that what is here may prove useful to others starting to get to grips with category theory. This text is intended to be relatively accessible; in particular, it presupposes rather less mathematical background than some texts on categories.
(6204 views)
Book cover: Introduction to Categories and Categorical LogicIntroduction to Categories and Categorical Logic
by - arXiv
These notes provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The main prerequisite is a basic familiarity with the elements of discrete mathematics: sets, relations and functions.
(11582 views)
Book cover: Abelian Categories: an Introduction to the Theory of FunctorsAbelian Categories: an Introduction to the Theory of Functors
by - Harper and Row
From the table of contents: Fundamentals (Contravariant functors and dual categories); Fundamentals of Abelian categories; Special functors and subcategories; Metatheorems; Functor categories; Injective envelopes; Embedding theorems.
(12327 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.
(6096 views)