Category Theory for Programmers


Category Theory is one of the most abstract branches of mathematics. It is usually taught to graduate students after they have mastered several other branches of mathematics, like algebra, topology, and group theory. It might, therefore, come as a shock that the basic concepts of category theory can be explained in relatively simple terms to anybody with some experience in programming. That's because, just like programming, category theory is about structure. Mathematicians discover structure in mathematical theories, programmers discover structure in computer programs. Well-structured programs are easier to understand and maintain and are less likely to contain bugs. Category theory provides the language to talk about structure and learning it will make you a better programmer.
Download free tutorial in PDF (498 pages) created by Bartosz Milewski .
Pages : 498
Size :
File type : HTML
Downloads: 83
Created: 2021-05-15
License: Free
Author(s): Bartosz Milewski
Category Theory for Programmers

Others Category Theory Tutorials

Others related eBooks about Category Theory for Programmers

Software Above the Level of a Single Device

Download free course Software Above the Level of a Single Device, pdf file on 18 pages by Tim O'Reilly....

Certified Programming with Dependent Types

The technology of mechanized program verification can play a supporting role in many kinds..., download free Certified Programming tutorial in PDF (368 pages) created by Adam Chlipala ....

Node.js Notes for Professionals

Download free course Node.js Notes for Professionals, pdf file on 333 pages by Stack Overflow Community....

Retro Gaming with Raspberry Pi

This book shows you how to set up a Raspberry Pi to play classic games, and a whole lot mo..., download free Raspberry Pi tutorial in PDF (164 pages) created by Bob Clagett ....

Trigonometry: A Trig Cheat Sheet for Solving Problems

In this tutorial on trigonometry, we'll cover the basics of right triangles and the primary trigonometric functions, we'll refer to a Trig Cheat Sheet to help you quickly recall key concepts and formulas....

Rethinking Productivity in Software Engineering

Download free course Rethinking Productivity in Software Engineering, pdf file on 310 pages by Caitlin Sadowski, Thomas Zimmermann....

Information Technology for Management, 7th Edition

Information Technology for Management 7/e prepares students how to take an active role in the design, use, and management of information systems and technology by providing a broad treatment of issues relating to an organization, the technology used, and how systems are developed. The main focus d...

Git Internals

Download free course Git Internals, pdf file on 121 pages by Scott Chacon....

Anti-fragile ICT Systems

Download free course Anti-fragile ICT Systems, pdf file on 159 pages by by Kjell Jørgen Hole....

Essential Coding Theory

Error-correcting codes (henceforth, just codes) are clever ways of representing data so that one can recover the original information even if parts of it are corrupted. The basic idea is to judiciously introduce redundancy so that the original information can be recovered even when parts of the (r...