Let's do Chapter 3 of Computational Category Theory

Rydeheard and Burstall's Computational Category Theory translates a variety of category theoretic concepts into the programming language ML. For those of us who found Milewski's book a little light on code, this is a more programming-centric take on what it means to connect computer science and cateogry theory.

The book can be found at http://www.cs.man.ac.uk/~david/categories/book/ .

The first chapter is an introduction without much substance, and the second chapter describes ML, which should be similar enough to languages most of us know that we can skim it.

Let's read and work through the chapter, and then get together and discuss. If Chapter 3 turns out to be too much to digest in one meeting, we'll continue in the next session.

We'll post the link to the meeting on this page shortly before the scheduled start of the meeting.