Subject: categories: Sir Tony

From: Peter Freyd <[email-masked]>
Date: Tue, 4 Jan 2000 17:09:53 -0500 (EST)

The Queen's New Years Honours list announced a knighthood for
C.A.R. Hoare (the first person to find an application for
2-categories).