Boston University | Center for Computational Science
HomeNews and EventsResearchEducationPeopleSeminarsFacilitiesContact Us

Computing with Category Theory

Saul Youssef
Center for Computational Science
Boston University
April 6, 2001
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.

copyright © 2006, Center for Computational Science | Boston University , MA, 02215