Category Theory for Programmers

I have been educated in Poland, where I got my PhD in Theoretical Physics. I had several postdoc positions in Europe and

I was overwhelmed by the positive response to my previous post, the Preface to Category Theory for Programmers. At the s

This is part of the book Category Theory for Programmers. The previous instalment was Category: The Essence of Compositi

In the previous instalment of Category Theory for Programmers we talked about the category of types and functions. If yo

In the previous installment of Categories for Programmers, Categories Great and Small, I gave a few examples of simple c

Categories for Programmers. In the previous installment we discussed how to add logging to pure functions. See the Table

Categories for Programmers. Previously Products and Coproducts. See the Table of Contents. We’ve seen two basic ways of

This is part of Categories for Programmers. Previously: Simple Algebraic Data Types. See the Table of Contents. At the r

This is part 8 of Categories for Programmers. Previously: Functors. See the Table of Contents. Now that you know what a

This is part 9 of Categories for Programmers. Previously: Functoriality. See the Table of Contents. So far I’ve been glo

This is part 10 of Categories for Programmers. Previously: Function Types. See the Table of Contents. We talked about fu

This is part 11 of Categories for Programmers. Previously: Natural Transformations. See the Table of Contents. Introduct

This is part 12 of Categories for Programmers. Previously: Declarative Programming. See the Table of Contents. It seems

This is part 13 of Categories for Programmers. Previously: Limits and Colimits. See the Table of Contents. Monoids are a

This is part 14 of Categories for Programmers. Previously: Free Monoids. See the Table of Contents. It’s about time we h

This is part 15 of Categories for Programmers. Previously: Representable Functors. See the Table of Contents. Most const

This is part 16 of Categories for Programmers. Previously: The Yoneda Lemma. See the Table of Contents. We’ve seen previ

This is part 17 of Categories for Programmers. Previously: Yoneda Embedding. See the Table of Contents. If I haven’t con

This is part 18 of Categories for Programmers. Previously: It’s All About Morphisms. See the Table of Contents. In mathe

This is part 19 of Categories for Programmers. Previously: Adjunctions. See the Table of Contents. Free Monoid from Adju

This is part 20 of Categories for Programmers. Previously: Free/Forgetful Adjunctions. See the Table of Contents. Progra

This is part 21 of Categories for Programmers. Previously: Monads: Programmer’s Definition. See the Table of Contents. N

This is part 22 of Categories for Programmers. Previously: Monads and Effects. See the Table of Contents. If you mention

This is part 23 of Categories for Programmers. Previously: Monads Categorically. See the Table of Contents. Now that we

This is part 24 of Categories for Programmers. Previously: Comonads. See the Table of Contents. We’ve seen several formu