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.

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 :	PDF
Downloads:	106
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

Think Stats: Probability and Statistics for Programmers

Category Theory for Programmers

97 Things Every Programmer Should Know: Collective Wisdom from the Experts

Others related eBooks about Category Theory for Programmers

Introduction to (Java Server Page) JSF

With this PDF tutorial you will learn how to write Your own JSF Components.Free training document for download....

Getting started with Sharepoint

Download free Sharepoint tutorial course in PDF, training file in 10 chapters and 75 pages. Free unaffiliated ebook created from Stack OverFlow contributor....

First Semester in Numerical Analysis with Julia

This book presents the theory and methods, together with the implementation of the algorithms using the Julia programming language (version 1.1.0). The book covers computer arithmetic, root-finding, numerical quadrature and differentiation, and approximation theory. ...

Download Scrum Guide in PDF

Course pdf Training, overview of agile project management with Scrum...

Ruby On Rails Programming Tutorial

Download free Ruby On Rails tutorial course in PDF, training file in 73 chapters and 231 pages. Free unaffiliated ebook created from Stack OverFlow contributor....

Introduction to Java programming

With this PDF tutorial you will be familiar with basic Java language syntax and able to write a simple Java programs and writing good Java code....

Algorithmic Graph Theory

This is an introductory book on algorithmic graph theory. Theory and algorithms are illustrated using the Sage open source mathematics software. To get an overview of the book, you can view the table of contents as shown below or download the complete book. This book is more commonly known as the ...

PhoneGap and Cordova course

This PDF training tutorial will helps you to get the skills necessary to the development of sites and mobile applications using Cordova technology....

2D Game Development: From Zero to Hero

This is a small project that aims to gather some knowledge about game development and make..., download free Game Development tutorial in PDF (260 pages) created by Penaz ....

2D Game Development: From Zero to Hero

Download free course 2D Game Development: From Zero to Hero, pdf file on 262 pages by Self-publishing....