Blog articles/Categories

This page is a link to a blog on translating the book Computational Category Theory by David Rydeheard and Rod Burstall into the Haskell programming language. The main goal is to translate the book's representation of categorical structures in the most elegant and idiomatic way possible. See

• A Haskell package with categorical constructions

• Discussion on translating Chapter 3