I have trouble with CTFP and most other Category Theory treatments because they seem completely ungrounded in the practical and concrete affairs of software development. It is as if a book on Relational Modeling for example spent all its text on defining set operations, tuples, projections, and joins, and all their associated theorems, but never delved into an example that illustrates how the theory applies in the real world of say a sales database. The theory needs motivating examples to be accessible to the lay-programmer!

This is so great. Thank you for making it!

There’s also “Category Theory for Programmers” by Bartosz Milewski, a good read:

https://github.com/hmemcpy/milewski-ctfp-pdf

I have trouble with CTFP and most other Category Theory treatments because they seem completely ungrounded in the practical and concrete affairs of software development. It is as if a book on Relational Modeling for example spent all its text on defining set operations, tuples, projections, and joins, and all their associated theorems, but never delved into an example that illustrates how the theory applies in the real world of say a sales database. The theory needs motivating examples to be accessible to the lay-programmer!