Hello Cat Community, Recently I stumbled across a soft-copy of Rydeheard's book "Computational Category Theory" at http://www.cs.man.ac.uk/~david/categories/index.html I would like to know of other ongoing projects on computational category theory) and possibly how they differ from Rydeheard's approach. Regards, Bill Halchin 24-Nov-2004 20:03:48 -0400,2593;000000000000-00000000