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: 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.
(5678 views)
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.
(7460 views)
Book cover: Basic Concepts of Enriched Category TheoryBasic Concepts of Enriched Category Theory
by - Cambridge University Press
The book presents a selfcontained account of basic category theory, assuming as prior knowledge only the most elementary categorical concepts. It is designed to supply a connected account of the theory, or at least of a substantial part of it.
(8765 views)
Book cover: Higher Operads, Higher CategoriesHigher Operads, Higher Categories
by - arXiv
Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. It draws its inspiration from topology, quantum algebra, mathematical physics, logic, and computer science.
(7847 views)