Category Theory for Programmers
by Bartosz Milewski
Publisher: unglue.it 2017
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.
Download or read it online for free here:
Download link
(12MB, PDF)
Similar books
Categories and Homological Algebra
by Pierre Schapira - 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.
(8795 views)
by Pierre Schapira - 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.
(8795 views)
Basic Concepts of Enriched Category Theory
by Max Kelly - 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.
(11868 views)
by Max Kelly - 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.
(11868 views)
Category Theory
- Wikibooks
This book is an introduction to category theory, written for those who have some understanding of one or more branches of abstract mathematics, such as group theory, analysis or topology. It contains examples drawn from various branches of math.
(10568 views)
- Wikibooks
This book is an introduction to category theory, written for those who have some understanding of one or more branches of abstract mathematics, such as group theory, analysis or topology. It contains examples drawn from various branches of math.
(10568 views)
Basic Category Theory
by Tom Leinster - arXiv
This introduction to category theory is for readers with relatively little mathematical background. At its heart is the concept of a universal property, important throughout mathematics. For each new concept a generous supply of examples is provided.
(6048 views)
by Tom Leinster - arXiv
This introduction to category theory is for readers with relatively little mathematical background. At its heart is the concept of a universal property, important throughout mathematics. For each new concept a generous supply of examples is provided.
(6048 views)