The category of cardboard rectangles and bits of wool string
researchblogs.cs.bham.ac.uk