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
Categories originally arose in mathematics out of the need of a formalism to describe the passage from one type of mathematical structure to another. These notes form a short summary of some major topics in category theory.
(12806 views)
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.
(8640 views)
Book cover: Toposes, Triples and TheoriesToposes, Triples and Theories
by - Springer-Verlag
Introduction to toposes, triples and theories and the connections between them. The book starts with an introduction to category theory, then introduces each of the three topics of the title. Exercises provide examples or develop the theory further.
(15427 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.
(19498 views)