On Tue, Jan 07, 2003 at 03:36:35PM +0100, Claus Gwiggner wrote:

is category theory a suited language to express "structure" in scheduling or combinatorial optimisation problems ? Yes. See R. Bird \& O. de Moor, \emph{Algebra of Programming}, Prentice Hall Europe, 1997.

Cheers, David -- Professor David B. Benson (509) 335-2706 School of EE and Computer Science (EME 102) (509) 335-3818 fax PO Box 642752, Washington State University office: Sloan 308 and 307 Pullman WA 99164-2752 U.S.A. dbenson@eecs.wsu.edu ----------------------------------------------------------------------------------