[zenhack]

I'm really glad somebody decided to write this up in a more informal way; I remember being interested in pijul back when that paper was basically the closest thing the tool had to documentation of any kind. I was curious enough to actually go read up on category theory, and learned a ton doing so, but still mostly bounced off the paper -- I came away with some basic intuitions but still felt like there was a lot I was missing.