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 |
Others Category Theory Tutorials
Others related eBooks about Category Theory for Programmers
Software Above the Level of a Single DeviceDownload free course Software Above the Level of a Single Device, pdf file on 18 pages by Tim O'Reilly....
Certified Programming with Dependent TypesThe 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 ProfessionalsDownload free course Node.js Notes for Professionals, pdf file on 333 pages by Stack Overflow Community....
Retro Gaming with Raspberry PiThis 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 ProblemsIn 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 EngineeringDownload free course Rethinking Productivity in Software Engineering, pdf file on 310 pages by Caitlin Sadowski, Thomas Zimmermann....
Information Technology for Management, 7th EditionInformation 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 InternalsDownload free course Git Internals, pdf file on 121 pages by Scott Chacon....
Anti-fragile ICT SystemsDownload free course Anti-fragile ICT Systems, pdf file on 159 pages by by Kjell Jørgen Hole....
Essential Coding TheoryError-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...