It looks like you're new here. If you want to get involved, click one of these buttons!
I'm a computer scientist and software developer with a strong interest in mathematical foundations of programming. During my Master's degree I studied category theory and formal verification, and my thesis was a formalisation of some category theoretic structures in Agda.
Despite all this, I still find it hard to grasp the practical aspects of category theory, so I'm interested to read this book and discuss real applications of category theory with you all.