Although category theory
is one of the most useful ideas in mathematics,
and although category theoretical ideas have
penetrated much of mathematics, theoretical
physics and other fields, these ideas have had
little impact on scientific computing. I will
talk about why computing with category theory
is worth doing and describe the kernel of a
math library organized around category theory
and written in "Aldor" - a language
developed by Stephen Watt and collaborators
and under development at NAG. |