Logo

Category Theory for Programmers

Small book cover: Category Theory for Programmers

Category Theory for Programmers
by

Publisher: unglue.it
Number of pages: 510

Description:
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. I will illustrate all major concepts using computer code.

Home page url

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

Similar books

Book cover: Category Theory Lecture NotesCategory Theory Lecture Notes
by - University of Edinburgh
These notes were written for a course in category theory. The course was designed to be self-contained, drawing most of the examples from category theory itself. It was intended for post-graduate students in theoretical computer science.
(7959 views)
Book cover: Category Theory for Computing ScienceCategory Theory for Computing Science
by - Prentice Hall
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 basic to category theory in the context of applications to computing science.
(5815 views)
Book cover: Model Categories and Simplicial MethodsModel Categories and Simplicial Methods
by - Northwestern University
There are many ways to present model categories, each with a different point of view. Here we would like to treat model categories as a way to build and control resolutions. We are going to emphasize the analog of projective resolutions.
(6692 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.
(14280 views)