[pharmakom]

The intro is nice and easy and then it really jumps into some detailed PL theory that I couldn't quite grok. why do papers so often do this? start like a leisurely stroll and-BAM! "discrete comonads". Guess as a non-expert I'm not quite the target audience.

[celestius]

Yeah cat theory jargon always makes me gape. I should revisit some of Spivak’s work directed at teaching cat theory to programmers, if only to know how this thesis does what it does.