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

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.