This is fantastic. I just read through it and it is a fantastic diversion from the usual descriptions of category theory

I scoffed at the "we'll explain it in computer terms" notes at the beginning, but that caveat really helped.