Monthly Archives: April 2016

Progress so gentle as to be hardly perceptible …

Work on the Gentle Intro to Category Theory has been going slowly for a couple of months. I’d got to the point where I needed to backtrack and think through what I wanted to say, in a couple of preliminary chapters, … Continue reading

Posted in Category theory, This and that | 1 Comment

New package for setting proof tableaux

Suppose you want to typeset (using LaTeX of course) a proof tree that looks something like this: Maybe that’s an answer to some exercise for students, which is why you want a tree fully annotated with line numbers, justifications on the right, and … Continue reading

Posted in Geek stuff | Leave a comment

Beethoven for a Later Age

On a recent visit to our favourite bookshop, Topping’s in Ely, I picked up a copy of Edward Dusinberre’s Beethoven for a Later Age: The Journey of a String Quartet. (In fact, if you click on the photo, you’ll see … Continue reading

Posted in Music | Leave a comment