Category Theory for Programmers
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.
Table of contents
-
Category: The Essence of Composition
-
Types and Functions
-
Categories Great and Small
-
Kleisli Categories
-
Products and Coproducts
-
Simple Algebraic Data Types
-
Functors
-
Functoriality
-
Function Types
-
Natural Transformations
-
Declarative Programming
-
Limits and Colimits
-
Free Monoids
-
Representable Functors
-
The Yoneda Lemma
-
Yoneda Embedding
-
It's All About Morphisms
-
Adjunctions
-
Free/Forgetful Adjunctions
-
Monads: Programmer's Definition
-
Monads and Effects
-
Monads Categorically
-
Comonads
-
F-Algebras
-
Algebras for Monads
-
Ends and Coends
-
Kan Extensions
-
Enriched Categories
-
Topoi
-
Lawvere Theories
-
Monads, Monoids, and Categories
| Pages : | 498 |
| Size : | 16.3 MB |
| File type : | |
| Downloads: | 93 |
| Created: | 2022-02-01 |
| License: | CC BY-SA |
| Author(s): | by Bartosz Milewski |
Warning: Trying to access array offset on false in /home/tutovnfz/public_html/article.php on line 233
Others Programmers Tutorials
Category Theory for Programmers
Think Stats: Probability and Statistics for Programmers
97 Things Every Programmer Should Know: Collective Wisdom from the Experts
Others related eBooks about Category Theory for Programmers
Android Application Development for the Intel PlatformThe number of Android devices running on Intel processors has increased since Intel and Google announced, in late 2011, that they would be working together to optimize future versions of Android for Intel Atom processors. Today, Intel processors can be found in Android smartphones and tablets made b...
Python 3 Tutorial for beginnerDownload Python PDF Tutorial for free, it consisting of 20 chapters and 74 pages covering all the most important Python concepts. This tutorial is intended for beginner programmers, and we recommend you to go through all the chapters, to get the most out of it as possible....
Learning AndroidA complet Android Course in PDF format, this is a free Android ebook created for educational purposes by Stack Overflow documentation....
How To Think Like A Computer Scientist: C++ VersionThe goal of this book is to teach you to think like a computer scientist, using C++ as the programming language. ...
C++ Exercices with solutionsDownload free document in PDF about C++ language, exercices and solutions for beginners and intermediate level students....
Essential PythonThis book written to provide clear and concise explanation of topics for programmers both starting to learn the Python programming language as well as those diving in more complex topics. Most examples are linked to online playground that allows you to change the code and re-run it....
Annotated Algorithms in PythonDownload free course Annotated Algorithms in Python, pdf file on 388 pages by by Massimo Di Pierro....
Coding with MinecraftDownload free course Coding with Minecraft, pdf file on 256 pages by Al Sweigart....
Test-Driven Development with PythonBy taking you through the development of a real web application from beginning to end, this hands-on guide demonstrates the practical advantages of test-driven development (TDD) with Python. You'll learn how to write and run tests before building each part of your app, and then develop the minimum a...
Architect Modern Web Applications with ASP.NET Core and AzureDownload free course Architect Modern Web Applications with ASP.NET Core and Azure, pdf file on 113 pages by by Steve Smith....