Unrelated to this post, the author also has a GREAT series of lectures on Category Theory which are on YouTube [1]. I've seen them recommended several times for anybody interested in Category Theory coming from a programming background.
This needs a 2013 mentioned in the title. Not that there have been huge improvements in this research since then, but there is other stuff to read on the topic that's more recent.
Also, if you're interested in his work on the subject, read through the issues on github for his code, it clarifies where the problems are in this implementation. Still, it is quite interesting.
