Computational Category Theory (By Rydeheard and Burstall) http://www.cs.man.ac.uk/~david/categories/book/book.pdf

Been meaning to start with this soon. Did you start reading?

I have just started. Really nice. If you want we can discuss here. Also anyone who is interested.

Man, I already have a hundred things on my desktop that I really, really want to read.

Same to me. I have an Acrobat reader open with more than 20 tabs (all are really great reads, e.g. The Quark and the Jaguar by Murry Gell-Mann... 😑 )

Does it say anything about how category theory is relevant to real life / software engineering?