Category Theory and Program Construction

Hello, what is the relation between Category Theory and (Computer) Program Construction ? Don't hesitate to substitute "(Computer) Program Construction" by another, maybe weaker expression, if you feel to. Thanks, Claus 29-Nov-2002 19:56:58 -0400,3356;000000000000-00000000