Introduction: Rupert Horlick

Hi everyone,

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.

Can't wait!


Sign In or Register to comment.