Comment by comonoid

"Diagrammed by Kenneth Thompson". The name sounds familiar...