Learning materials - Category Theory

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Mason Mackaman

any recommended books/pdfs?

Fintan Halpenny

7 Sketches in Compositionality :)

Mason Mackaman

thanks, I'll check it out :)

Pedro Minicz

I also recommend 7 Sketches in Compositionality as well as the category theory posts on Tai-Danae Bradley's blog, https://www.math3ma.com/

Math3ma is a blog about mathematics, maintained by Tai-Danae Bradley.
Pedro Minicz

Her booklet on applied category theory is a good introduction to many concepts that will be further elaborated on 7 Sketches: https://arxiv.org/pdf/1809.05923.pdf